Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

9 résultats
Page :
triés par
Image document

On factorisation forests

 Thomas Colcombet
2007
Pré-publication, Document de travail hal-00125047v1
Image document

Linearly Bounded Infinite Graphs

 Arnaud Carayol , Antoine Meyer
MFCS 2005, Sep 2005, Gdansk, Poland. pp.180-191, ⟨10.1007/11549345_17⟩
Communication dans un congrès hal-00149334v1
Image document

Synchronization of Pushdown Automata

 Didier Caucal
DLT'06, Jun 2006, Santa Barbara, CA, United States. pp.120-132, ⟨10.1007/11779148_12⟩
Communication dans un congrès hal-00620158v1
Image document

Graphes infinis de présentation finie

 Antoine Meyer
Informatique [cs]. Université Rennes 1, 2005. Français. ⟨NNT : ⟩
Thèse tel-00325707v1
Image document

Représentations et propriétés de structures infinies

 Thomas Colcombet
Logique en informatique [cs.LO]. Université de Rennes 1, 2004. Français. ⟨NNT : 2004REN10094⟩
Thèse tel-04504198v1
Image document

On Rational Trees

 Arnaud Carayol , Christophe Morvan
20th International Conference on Computer Science Logic (CSL'06), Sep 2006, Szeged, Hungary. pp.225-239
Communication dans un congrès hal-00620171v1

A Combinatorial Theorem for Trees

 Thomas Colcombet
ICALP, Jul 2007, Wroclaw, Poland. pp.901-912, ⟨10.1007/978-3-540-73420-8_77⟩
Communication dans un congrès istex hal-00192024v1
Image document

Transforming structures by set interpretations

 Thomas Colcombet , Christof Löding
Logical Methods in Computer Science, 2007, 3 (2), paper 4. ⟨10.2168/LMCS-3(2:4)2007⟩
Article dans une revue hal-00192051v1

Factorisation Forests for Infinite Words

 Thomas Colcombet
FCT, Aug 2007, Budapest, Hungary. pp.226-237, ⟨10.1007/978-3-540-74240-1_20⟩
Communication dans un congrès istex hal-00192027v1
Page :