Hdr Année : 2015

Playing with Trees and Logic

Résumé

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 et versions

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

Licence

Identifiants

  • HAL Id : tel-01260775 , version 1

Citer

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

Partager

  • More