Informatique Théorique et Applications, Volume 36, 2002

Volume 36, Number 1, January-March 2002

Filippo Mignosi, Luca Q. Zamboni:
A Note on a Conjecture of Duval and Sturmian Words. 1-3
Electronic Edition (link) BibTeX
Symeon Bozapalidis, Olympia Louscou-Bozapalidou:
Polypodic codes. 5-28
Electronic Edition (link) BibTeX
Victor L. Selivanov:
Relating Automata-theoretic Hierarchies to Complexity-theoretic Hierarchies. 29-42
Electronic Edition (link) BibTeX
Martin Beran:
Pipelined Decomposable BSP Computers. 43-65
Electronic Edition (link) BibTeX
Arturo Carpi, Aldo de Luca:
On the distribution of characteristic parameters of words. 67-96
Electronic Edition (link) BibTeX
Arturo Carpi, Aldo de Luca:
On the distribution of characteristic parameters of words II. 97-127
Electronic Edition (link) BibTeX

Special Issue: Fixed Points in Computer Science (FICS'01)

Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
A Fully Equational Proof of Parikh's Theorem. 129-153
Electronic Edition (link) BibTeX
Levent Erkök, John Launchbury, Andrew Moran:
Semantics of value recursion for Monadic Input/Output. 155-180
Electronic Edition (link) BibTeX
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
Feedback, trace and fixed-point semantics. 181-194
Electronic Edition (link) BibTeX
Luigi Santocanale:
µ-Bicomplete Categories and Parity Games. 195-227
Electronic Edition (link) BibTeX

Henrik Brosenne, Matthias Homeister, Stephan Waack:
Characterizing the Complexity of Boolean Functions represented by Well-Structured Graph-Driven Parity-FBDDs. 229-247
Electronic Edition (link) BibTeX
Jean-Pierre Duval, Arnaud Lefebvre:
Words over an ordered alphabet and suffix permutations. 249-259
Electronic Edition (link) BibTeX
Julien Bernet, David Janin, Igor Walukiewicz:
Permissive strategies: from parity games to safety games. 261-275
Electronic Edition (link) BibTeX
Carlo Mereghetti, Beatrice Palano:
On the Size of One-way Quantum Finite Automata with Periodic Behaviors. 277-291
Electronic Edition (link) BibTeX
Christiane Frougny:
On multiplicatively dependent linear numeration systems, and periodic points. 293-314
Electronic Edition (link) BibTeX
Tero Harju, Dirk Nowotka:
Density of Critical Factorizations. 315-327
Electronic Edition (link) BibTeX

Michele Zito:
An Upper Bound on the Space Complexity of Random Formulae in Resolution. 329-339
Electronic Edition (link) BibTeX
Véronique Cortier:
About the decision of reachability for register machines. 341-358
Electronic Edition (link) BibTeX
Pierre-Cyrille Héam:
On Shuffle Ideals. 359-384
Electronic Edition (link) BibTeX
Jacques Justin, Giuseppe Pirillo:
On a characteristic property of ARNOUX-RAUZY sequences. 385-388
Electronic Edition (link) BibTeX
Matthieu Latapy:
Integer Partitions, Tilings of 2D-gons and Lattices. 389-399
Electronic Edition (link) BibTeX