Subscriber Authentication Point

EDPS Account

Volume 34 / No 6 (November/December 2000)

RAIRO - Theoretical Informatics and Applications

Volume 34 / No 6 (November/December 2000)

Export the citation of the selected articles Export
Select all

Finite presentability of strongly finite dilators p. 425

Osamu Takaki

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2000125

Domain-Free λµ-Calculus p. 433

Ken-Etsu Fujita

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2000102

Two-variable word equations p. 467

Lucian Ilie and Wojciech Plandowski

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2000126

Computing the prefix of an automaton p. 503

Marie-Pierre Béal and Olivier Carton

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2000127

Cutwidth of the r-dimensional Mesh of d-ary Trees p. 515

Imrich Vrťo

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2000128

Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms p. 521

M. Huchard, H. Dicky and H. Leblanc

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2000129

A Compositional Approach to Synchronize Two Dimensional Networks of Processors p. 549

Salvatore La Torre, Margherita Napoli and Mimmo Parente

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2000130

Characteristic Formulae for Timed Automata p. 565

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

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2000131

Codes générateurs minimaux de langages de mots bi-infinis p. 585

Jeanne Devolder

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2000132