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:
Displaying similar documents to “Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle”
Construction d'un plus petit ordre de simplification
Sur l'élimination itérative des situations de blocage dans un système
Maurice Tchuente (1980)
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:
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:
Introduction à l'algorithmique des objets partagés
Bernadette Charron-Bost, Robert Cori, Antoine Petit (1997)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
Karim Nour (1997)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Monoïde libre et musique : deuxième partie
Marc Chemillier (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sémantique logique et dénotationnelle des interpréteurs PROLOG
Jean-Paul Delahaye (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: