Transducteurs finis d'arbres et tests d'égalité
E. Lilin (1981)
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.
Displaying similar documents to “Théorie des magmoïdes (I)”
Transducteurs finis d'arbres et tests d'égalité
Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
Patrice Naudin (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Théorie des magmoïdes
A. Arnold, M. Dauchet (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Systèmes de déduction pour les arbres et les schémas de programmes (I)
P. Enjalbert (1980)
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:
Sur les ensembles de mots infinis engendrés par une grammaire algébrique
Maurice Nivat (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Transductions de forêts reconnaissables monadiques, forêts corégulières
André Arnold, Max Dauchet (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: