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:
Displaying similar documents to “Sur la minimisation d'une expression représentant une famille de fonctions booléennes”
Sur l'élimination itérative des situations de blocage dans un système
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:
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:
Parallélisation d'algorithmes avec un nombre fixe de processeurs
C. Delporte-Gallet, H. Fauconnier, M. Nivat (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
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:
Complexité de la réduction en logique combinatoire
Richard Canal (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: