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 38 (2004)
Sommaire du
Fascicule no. 1
Axiomatizing omega and omega-op powers of words
Bloom, Stephen L.
;
Ésik, Zoltán
p. 3-17
Weightreducing grammars and ultralinear languages
Brandt, Ulrike
;
Delepine, Ghislain
;
Walter, Hermann K.-G.
p. 19-25
Asymptotic behaviour of bi-infinite words
Foryś, Wit
p. 27-48
Free group languages : rational versus recognizable
Silva, Pedro V.
p. 49-67
On the equivalence of linear conjunctive grammars and trellis automata
Okhotin, Alexander
p. 69-88
Sommaire du
Fascicule no. 2
Finite completion of comma-free codes. Part 1
Lam, Nguyen Huong
p. 91-115
Finite completion of comma-free codes. Part 2
Lam, Nguyen Huong
p. 117-136
Time and space complexity of reversible pebbling
Královič, Richard
p. 137-161
Complexity of infinite words associated with beta-expansions
Frougny, Christiane
;
Masáková, Zuzana
;
Pelantová, Edita
p. 163-185
Sommaire du
Fascicule no. 3
Circular splicing and regularity
Bonizzoni, Paola
;
Felice, Clelia De
;
Mauri, Giancarlo
;
Zizza, Rosalba
p. 189-228
Algebraic tools for the construction of colored flows with boundary constraints
Dorkenoo, Marius
;
Eglin-Leclerc, Marie-Christine
;
Rémila, Eric
p. 229-243
Monoid presentations of groups by finite special string-rewriting systems
Parkes, Duncan W.
;
Shavrukov, V. Yu.
;
Thomas, Richard M.
p. 245-256
On differentiation functions, structure functions, and related languages of context-free grammars
Dassow, Jürgen
;
Mitrana, Victor
;
Păun, Gheorghe
;
Stiebe, Ralf
p. 257-267
Corrigendum : “Complexity of infinite words associated with beta-expansions”
Frougny, Christiane
;
Masáková, Zuzana
;
Pelantová, Edita
p. 269-271
Sommaire du
Fascicule no. 4
Foreword
Ésik, Zoltán
;
Walukiewicz, Igor
p. 275-276
Termination checking with types
Abel, Andreas
p. 277-319
Coproducts of ideal monads
Ghani, Neil
;
Uustalu, Tarmo
p. 321-342
Comparing the succinctness of monadic query languages over finite trees
Grohe, Martin
;
Schweikardt, Nicole
p. 343-373
An abstract monadic semantics for value recursion
Moggi, Eugenio
;
Sabry, Amr
p. 375-400