Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Playing with Trees and Logic

Abstract : This document proposes an overview of my research since
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [220 references]  Display  Hide  Download

https://hal.inria.fr/tel-01260775
Contributor : Olivier Serre <>
Submitted on : Friday, January 22, 2016 - 3:17:10 PM
Last modification on : Friday, March 27, 2020 - 4:01:41 AM

File

Identifiers

  • HAL Id : tel-01260775, version 1

Collections

Citation

Olivier Serre. Playing with Trees and Logic. Logic in Computer Science [cs.LO]. Université Paris Diderot — Paris 7, 2015. ⟨tel-01260775⟩

Share

Metrics

Record views

236

Files downloads

569