Une condition impliquant toutes les identités rationnelles
M. Boffa (1995)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Sur une classe de transformations d'arbres”
Une condition impliquant toutes les identités rationnelles
Construction d'un plus petit ordre de simplification
J. P. Jouannaud, H. Kirchner (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Une remarque sur les systèmes complets d'identités rationnelles
Maurice Boffa (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Représentations matricielles des séries d'arbre reconnaissables
Symeon Bozapalidis, Athanasios Alexandrakis (1989)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Transducteurs finis d'arbres et tests d'égalité
E. Lilin (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Théorie des magmoïdes (I)
A. Arnold, M. Dauchet (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Automates et commutations partielles
Robert Cori, Dominique Perrin (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Arbres infinis et systèmes d'équations
Bruno Courcelle (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: