Informatique Théorique et Applications, Volume 37, 2003

Volume 37, Number 1, January-March 2003

• Julian C. Bradfield:
  Fixpoints, games and the difference hierarchy. 1-15
  Electronic Edition (link) BibTeX
• Ludwik Czaja:
  On the Analysis of Petri Nets and their Synthesis from Process Languages. 17-38
  Electronic Edition (link) BibTeX
• Mika Hirvensalo, Sebastian Seibert:
  Lower Bounds for Las Vegas Automata by Information Theory. 39-49
  Electronic Edition (link) BibTeX
• Beate Bollig:
  Complexity Theoretical Results on Nondeterministic Graph-driven Read-Once Branching Programs. 51-66
  Electronic Edition (link) BibTeX
• Victor L. Selivanov:
  Wadge Degrees of [omega]-Languages of Deterministic Turing Machines. 67-83
  Electronic Edition (link) BibTeX
• Gwénaël Richomme:
  Some algorithms to compute the conjugates of Episturmian morphisms. 85-104
  Electronic Edition (link) BibTeX

Volume 37, Number 2, April-June 2003

• Olivier Finkel:
  On the Topological Complexity of Infinitary Rational Relations. 105-113
  Electronic Edition (link) BibTeX
• Olivier Finkel:
  Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations. 115-126
  Electronic Edition (link) BibTeX
• Nadia Creignou, Hervé Daudé:
  Smooth and sharp thresholds for random k-XOR-CNF satisfiability. 127-147
  Electronic Edition (link) BibTeX
• Juha Honkala:
  A bound for the [omega]-equivalence problem of polynomial D0L systems. 149-157
  Electronic Edition (link) BibTeX
• Norbert Popély:
  The Communication Hierarchy of Time and Space Bounded Parallel Machines. 159-176
  Electronic Edition (link) BibTeX

Volume 37, Number 3, July-September 2003

• Zoltán Ésik, Kim Guldstrand Larsen:
  Regular languages definable by Lindström quantifiers. 179-241
  Electronic Edition (link) BibTeX
• Michal Kunc:
  Equational description of pseudovarieties of homomorphisms. 243-254
  Electronic Edition (link) BibTeX
• Ján Manuch, Ladislav Stacho:
  On f-wise Arc Forwarding Index and Wavelength Allocations in Faulty All-optical Hypercubes. 255-270
  Electronic Edition (link) BibTeX

Volume 37, Number 4, October-December 2003

• Zoltán Ésik, Anna Ingólfsdóttir: Foreword. 272 BibTeX
• Nick Benton, Martin Hyland:
  Traced Premonoidal Categories. 273-299
  Electronic Edition (link) BibTeX
• Federico De Marchi, Neil Ghani, Christoph Lüth:
  Solving Algebraic Equations Using Coalgebra. 301-314
  Electronic Edition (link) BibTeX
• Tarmo Uustalu:
  Generalizing Substitution. 315-336
  Electronic Edition (link) BibTeX
• Guo-Qiang Zhang:
  Domain µ-calculus. 337-364
  Electronic Edition (link) BibTeX
• Christoph Sprenger, Mads Dam:
  On global induction mechanisms in a µ-calculus with explicit approximations. 365-391
  Electronic Edition (link) BibTeX