-
Narrowing Based Inductive Proof Search
Premiere version en 2005, en l'honneur de Harald Ganzinger -
Holls: an Intentional First-Order Expression of Higher-Order Logic
Projet COQ, Projet PARA, PROTHEO -
Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
International audience -
Semantic A-translation and Super-consistency entail Classical Cut Elimination
International audience -
Deduction and theorem proving modulo
Colloque sur invitation. -
Sequent Calculus Viewed Modulo
Colloque avec actes et comité de lecture. internationale. -
Theorem Proving Modulo
Article dans revue scientifique avec comité de lecture. internationale. -
Induction as Deduction Modulo
Rapport interne.
