Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 34 (2000)
no. 6
Table of contents
Finite presentability of strongly finite dilators
Takaki, Osamu
p. 425-431
Domain-free
λ
μ
-calculus
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
-dimensional mesh of
d
-ary trees
Vrťo, Imrich
p. 515-519
Galois lattice as a framework to specify building class hierarchies algorithms
Huchard, M.
;
Dicky, H.
;
Leblanc, H.
p. 521-548
A compositional approach to synchronize two dimensional networks of processors
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
Codes générateurs minimaux de langages de mots bi-infinis
Devolder, Jeanne
p. 585-596
