Transducteurs finis d'arbres et tests d'égalité
E. Lilin (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
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: