Les pages professionnellesdes enseignants chercheurs

Christophe Garion

Research

Mis à jour le

My main research interest is mathematical logic. I was in mainly interested in knowledge representation, particularly in deontic logic. I am now more interested in program verification, particularly

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour vous proposer des contenus et services adaptés OK
Pour accéder à toutes les fonctionnalités de ce site, vous devez activer JavaScript. Voici les instructions pour activer JavaScript dans votre navigateur Web.