Pierre Halmagrand

发表

Dedukti : a Logical Framework based on the λ Π-Calculus Modulo Theory

Gilles Dowek, Catherine Dubois, Ronan Saillard, 2016 .

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

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

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo

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

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

Guillaume Burel, Gilles Dowek, David Delahaye, 2016 .

Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory

Gilles Dowek, Catherine Dubois, Ronan Saillard, 2023, ArXiv.

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 .

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

Damien Doligez, O. Hermant, Pierre Halmagrand, 2013 .

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo

Damien Doligez, O. Hermant, Frédéric Gilbert, 2013, LPAR.

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

Damien Doligez, David Delahaye, Olivier Hermant, 2013 .