Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
Liste des citations dans Numdam pour :
Opérateurs de mise en mémoire et types
∀
-positifs
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 30
(1996),
p. 261-293
/ Harvested from
Numdam
Nour, K.
Les
I
-types du système
ℱ
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 35
(2001),
p. 223-237
/ Harvested from
Numdam
Farkh, Samir
;
Nour, Karim
Les types de données syntaxiques du système
ℱ
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 35
(2001),
p. 207-221
/ Harvested from
Numdam
Farkh, Samir
;
Nour, Karim
Résultats de complétude pour des classes de types du système
𝒜ℱ
2
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 31
(1997),
p. 513-537
/ Harvested from
Numdam