GEODESIC
Revues
Séminaires
Livres
Congrès
Sources
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