Parallélisation sémantique
P. Jouvelot, P. Feautrier (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Axiomatisation des manipulations symboliques en calcul des prédicats”
Parallélisation sémantique
Une formalisation de la sémantique des langages de programmation
J.-P. Finance (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
L'ordinateur : un outil au service du logicien
É. Gillet (1990)
Cahiers de l'analyse des données
Similarity:
Étude et implémentation d'un système de déduction pour logique algorithmique
Françoise Garcia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sémantique des structures de contrôle
Bernard Robinet, François Nozick (1977)
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:
Le lambda-calcul du second ordre
Jean-Yves Girard (1986-1987)
Séminaire Bourbaki
Similarity: