---

Theoretical Informatics and Applications

Vol. 37 No. 1 (January-March 2003)

• Fixpoints, games and the difference hierarchy     p. 1
  Julian C. Bradfield
  Abstract | PDF file (290 KB)



• On the Analysis of Petri Nets and their Synthesis from Process Languages     p. 17
  Ludwik Czaja
  Abstract | PDF file (637 KB)



• Lower Bounds for Las Vegas Automata by Information Theory     p. 39
  Mika Hirvensalo and Sebastian Seibert
  Abstract | References | PDF file (236 KB)



• Complexity Theoretical Results on Nondeterministic Graph-driven Read-Once Branching Programs     p. 51
  Beate Bollig
  Abstract | PDF file (309 KB)



• Wadge Degrees of -Languages of Deterministic Turing Machines     p. 67
  Victor Selivanov
  Abstract | PDF file (330 KB)



• Some algorithms to compute the conjugates of Episturmian morphisms     p. 85
  Gwenael Richomme
  Abstract | References | PDF file (332 KB)

---

© EDP Sciences 2003