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:
The search session has expired. Please query the service again.
Displaying similar documents to “Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes”
Construction, évaluation et amélioration systématiques de structures de données
Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
Raul Kantor, Giovanna Sontacchi (1985)
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:
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:
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:
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:
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:
Algorithme de Bareiss, algorithme des sous-résultants
Lionel Ducos (1996)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: