Pierre Halmagrand

发表

Soundly Proving B Method Formulæ Using Typed Sequent Calculus

Pierre Halmagrand, 2016, ICTAC.

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice

Guillaume Burel, David Delahaye, Guillaume Bury, 2019, Journal of Automated Reasoning.

New Software and Platforms - Zenon

Damien Doligez, David Delahaye, Olivier Hermant, 2015 .

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo

Damien Doligez, David Delahaye, Olivier Hermant, 2013, LPAR.

Automated Deduction and Proof Certification for the B Method. (Déduction Automatique et Certification de Preuve pour la Méthode B)

Pierre Halmagrand, Pierre Halmagrand, 2016 .

Checking Zenon Modulo Proofs in Dedukti

Pierre Halmagrand, Raphaël Cauderlier, 2015, PxTP@CADE.

Implementing Polymorphism in Zenon

Pierre Halmagrand, Raphaël Cauderlier, Guillaume Bury, 2015, IWIL@LPAR.

Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo

Damien Doligez, David Delahaye, Guillaume Bury, 2015, LPAR.

Automated Deduction in the B Set Theory using Deduction Modulo ?

Damien Doligez, David Delahaye, Olivier Hermant, 2014 .

Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system

Guillaume Burel, Gilles Dowek, David Delahaye, 2016 .

Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps

Damien Doligez, David Delahaye, Olivier Hermant, 2013 .