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:
P. Enjalbert (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Patrice Naudin (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
B. Courcelle, A. Pariès (1995)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean Françon (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean Françon (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
M. Eytan (1977)
Mathématiques et Sciences Humaines
Similarity:
Jean-Luc Rémy (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: