Finite presentability of strongly finite dilators p. 425 Osamu Takaki Published online: 15 April 2002 DOI: https://doi.org/10.1051/ita:2000125 PDF (121.4 KB)References
Domain-Free λµ-Calculus p. 433 Ken-Etsu Fujita Published online: 15 April 2002 DOI: https://doi.org/10.1051/ita:2000102 PDF (313.9 KB)References
Two-variable word equations p. 467 Lucian Ilie and Wojciech Plandowski Published online: 15 April 2002 DOI: https://doi.org/10.1051/ita:2000126 PDF (321.4 KB)References
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 PDF (151.0 KB)References
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 PDF (109.0 KB)References
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 PDF (227.2 KB)References
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 PDF (177.3 KB)References
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 PDF (230.1 KB)References
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 PDF (169.4 KB)References