Théorie des magmoïdes (I)
A. Arnold, M. Dauchet (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Transducteurs finis d'arbres et tests d'égalité”
Théorie des magmoïdes (I)
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:
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:
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:
Arbres infinis et systèmes d'équations
Bruno Courcelle (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sur le nombre de registres nécessaires à l'évaluation d'une expression arithmétique
Jean Françon (1984)
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: