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:
Displaying similar documents to “Sur l'élimination itérative des situations de blocage dans un système”
Construction, évaluation et amélioration systématiques de structures de données
Une formalisation des systèmes conversationnels
C. Queinnec (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Définitions récursives par cas
B. Courcelle, F. Lavandier (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sur la minimisation d'une expression représentant une famille de fonctions booléennes
Michel Carvallo (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:
Tours de Hanoï et automates
J.-P. Allouche, F. Dress (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Les modalités de la correction totale
Luis Fariñas Del Cerro (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: