Playing with Trees and Logic

Hdr Année : 2015

(1)

Olivier Serre

This document proposes an overview of my research since

Higher-order recursion schemes tree automata games

Schémas récursif d'ordre supérieur automates d'arbres jeux

Logique en informatique [cs.LO]

Fichier principal

HDR.pdf (1.27 Mo)

https://inria.hal.science/tel-01260775

Soumis le : vendredi 22 janvier 2016-15:17:10

Dernière modification le : vendredi 24 mars 2023-14:53:01

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

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

UNIV-PARIS7 CNRS

122 Consultations

282 Téléchargements