Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 36 (2002)
Sommaire du
Fascicule no. 1
A note on a conjecture of Duval and sturmian words
Mignosi, Filippo
;
Zamboni, Luca Q.
p. 1-3
Polypodic codes
Bozapalidis, Symeon
;
Louscou-Bozapalidou, Olympia
p. 5-28
Relating automata-theoretic hierarchies to complexity-theoretic hierarchies
Selivanov, Victor L.
p. 29-42
Pipelined decomposable BSP computers
Beran, Martin
p. 43-65
On the distribution of characteristic parameters of words
Carpi, Arturo
;
Luca, Aldo de
p. 67-96
On the distribution of characteristic parameters of words II
Carpi, Arturo
;
Luca, Aldo de
p. 97-127
Sommaire du
Fascicule no. 2
Preface
Labella, Anna
p. vii
A fully equational proof of Parikh's theorem
Aceto, Luca
;
Ésik, Zoltán
;
Ingólfsdóttir, Anna
p. 129-153
Semantics of value recursion for monadic input/output
Erkök, Levent
;
Launchbury, John
;
Moran, Andrew
p. 155-180
Feedback, trace and fixed-point semantics
Katis, P.
;
Sabadini, Nicoletta
;
Walters, Robert F. C.
p. 181-194
μ
-bicomplete categories and parity games
Santocanale, Luigi
p. 195-227
Sommaire du
Fascicule no. 3
Characterizing the complexity of boolean functions represented by well-structured graph-driven parity-FBDDs
Brosenne, Henrik
;
Homeister, Matthias
;
Waack, Stephan
p. 229-247
Words over an ordered alphabet and suffix permutations
Duval, Jean-Pierre
;
Lefebvre, Arnaud
p. 249-259
Permissive strategies : from parity games to safety games
Bernet, Julien
;
Janin, David
;
Walukiewicz, Igor
p. 261-275
On the size of one-way quantum finite automata with periodic behaviors
Mereghetti, Carlo
;
Palano, Beatrice
p. 277-291
On multiplicatively dependent linear numeration systems, and periodic points
Frougny, Christiane
p. 293-314
Density of critical factorizations
Harju, Tero
;
Nowotka, Dirk
p. 315-327
Sommaire du
Fascicule no. 4
An upper bound on the space complexity of random formulae in resolution
Zito, Michele
p. 329-339
About the decision of reachability for register machines
Cortier, Véronique
p. 341-358
On shuffle ideals
Héam, Pierre-Cyrille
p. 359-384
On a characteristic property of Arnoux-Rauzy sequences
Justin, Jacques
;
Pirillo, Giuseppe
p. 385-388
Integer partitions, tilings of
2
D
-gons and lattices
Latapy, Matthieu
p. 389-399