RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Table of contents

Theoretical Informatics and Applications Informatique théorique et applications

Theoretical Informatics and Applications

Vol. 34 No. 6 (November/December 2000)

p425: Finite presentability of strongly finite dilators
O. Takaki
Abstract | References | PDF file (126 Kb)
p433: Domain-free $\lambda \mu$ -calculus
K.-E. Fujita
Abstract | References | PDF file (324 Kb)
p467: Two-variable word equations
L. Ilie and W. Plandowski
Abstract | References | PDF file (332 Kb)
p503: Computing the prefix of an automaton
M.-P. Béal and O. Carton
Abstract | References | PDF file (156 Kb)
p515: Cutwidth of the r-dimensional mesh of d-ary trees
I. Vrto
Abstract | References | PDF file (113 Kb)
p521: Galois lattice as a framework to specify building class hierarchies algorithms
M. Huchard, H. Dicky and H. Leblanc
Abstract | References | PDF file (234 Kb)
p549: A compositional approach to synchronize two dimensional networks
of processors
S. La Torre, M. Napoli and M. Parente
Abstract | References | PDF file (183 Kb)
p565: Characteristic formulae for timed automata
L. Aceto, A. Ingólfsdóttir, M.L. Pedersen and J. Poulsen
Abstract | References | PDF file (238 Kb)
p585: Codes générateurs minimaux de langages de mots bi-infinis
J. Devolder
Abstract | References | PDF file (175 Kb)