Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 37 (2003)
no. 1
Précédent
Suivant
Volume 37 (2003) no. 1
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