005.131 - Logique symbolique (automates, fonctions récursives appliquées aux langages de programmation, grammaires, langages formels, principes mathématiques ...
-
Logique pour l'informatique et pour l'intelligence artificielleRicardo CaferraHermès science publications
-
Introduction à la théorie des langages de programmationGilles Dowek, Jean-Jacques LévyÉcole Polytechnique
-
Logique(s), langages formels et complexité pour l'informatiqueNarendra JussienHermès science publications