Liste des citations dans Numdam pour : Sémantique logique et dénotationnelle des interpréteurs PROLOG

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 3-42 / Harvested from Numdam

Blanc, G. ; Liogier, K.

Négation constructive et axiomatique interne
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997), p. 411-428 / Harvested from Numdam