Playing with Trees and Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Habilitation À Diriger Des Recherches Year : 2015

Playing with Trees and Logic

Abstract

This document proposes an overview of my research since
Fichier principal
Vignette du fichier
HDR.pdf (1.27 Mo) Télécharger le fichier
Loading...

Dates and versions

tel-01260775 , version 1 (22-01-2016)

Identifiers

  • HAL Id : tel-01260775 , version 1

Cite

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

Collections

UNIV-PARIS7 CNRS
120 View
277 Download

Share

Gmail Facebook X LinkedIn More