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:
Displaying similar documents to “Définitions récursives par cas”
Systèmes de déduction pour les arbres et les schémas de programme (II)
Construction d'un plus petit ordre de simplification
J. P. Jouannaud, H. Kirchner (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sémantique algébrique d'un langage de programmation type Algol
Laurent Kott (1977)
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:
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:
La fonction d'Ackermann : un nouveau mode de dérécursivation
Jacques Arsac (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Parallélisation sémantique
P. Jouvelot, P. Feautrier (1990)
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: