RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000) no. 6

Sommaire

Takaki, Osamu

p. 425-431

Domain-free

λ μ

Fujita, Ken-Etsu

p. 433-466

Two-variable word equations

Ilie, Lucian ; Plandowski, Wojciech

p. 467-501

Computing the prefix of an automaton

Béal, Marie-Pierre ; Carton, Olivier

p. 503-514

Cutwidth of the

r

d

Vrťo, Imrich

p. 515-519

Huchard, M. ; Dicky, H. ; Leblanc, H.

p. 521-548

La Torre, Salvatore ; Napoli, Margherita ; Parente, Mimmo

p. 549-564

Characteristic formulae for timed automata

Aceto, Luca ; Ingólfsdóttir, Anna ; Pedersen, Mikkel Lykke ; Poulsen, Jan

p. 565-584

Devolder, Jeanne

p. 585-596