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
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité