Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 34 (2000)
no. 6
Sommaire
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