-
Theorem Proving Modulo
Projet COQ, Projet PARA, PROTHEO -
Holls: an Intentional First-Order Expression of Higher-Order Logic
Projet COQ, Projet PARA, PROTHEO -
Proof Automation for Atelier B Rules Verification
The purpose of this thesis is the verification of Atelier B added rules using the framework named BCARe which relies on a deep embedding of the B theory within the... -
Public announcements, public assignments and the complexity of their logic
International audience -
A General Framework to Build Multi-logic Implicit Induction Provers
Rapport interne. -
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
Colloque avec actes et comité de lecture. internationale. -
Correcting Faulty Conjectures by Logic Program Synthesis
Colloque avec actes et comité de lecture. internationale. -
Theorem Proving Modulo
Article dans revue scientifique avec comité de lecture. internationale.
