Systèmes de déduction pour les arbres et les schémas de programme (II)
P. Enjalbert (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.
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 “Construction d'un plus petit ordre de simplification”
Systèmes de déduction pour les arbres et les schémas de programme (II)
Définitions récursives par cas
B. Courcelle, F. Lavandier (1984)
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:
Construction, évaluation et amélioration systématiques de structures de données
Jean-Luc Rémy (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Monoïde libre et musique, première partie : les musiciens ont-ils besoin des mathématiques ?
Marc Chemillier (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Une généralisation de la théorie des types en -calcul (II)
Patrick Sallé (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Bisections reconnaissables
G. Duchamp, J. Y. Thibon (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Parties reconnaissables de monoïdes définis par générateurs et relations
Jacqueline Lacaze (1992)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: