RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 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