Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots-clés
Plein texte
Précédent
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 37 (2003)
no. 1
Suivant
Sommaire
Fixpoints, games and the difference hierarchy
Bradfield, Julian C.
p. 1-15
On the analysis of Petri nets and their synthesis from process languages
Czaja, Ludwik
p. 17-38
Lower bounds for Las Vegas automata by information theory
Hirvensalo, Mika
;
Seibert, Sebastian
p. 39-49
Complexity theoretical results on nondeterministic graph-driven read-once branching programs
Bollig, Beate
p. 51-66
Wadge degrees of
ω
-languages of deterministic Turing machines
Selivanov, Victor
p. 67-83
Some algorithms to compute the conjugates of episturmian morphisms
Richomme, Gwenael
p. 85-104