Pierre Halmagrand

According to our database, Pierre Halmagrand authored at least 8 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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

Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard

CoRR, 2023

2020

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

Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant

J. Autom. Reason., 2020

2016

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

Pierre Halmagrand

PhD thesis, 2016

Soundly Proving B Method Formulæ Using Typed Sequent Calculus.

Pierre Halmagrand

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Checking Zenon Modulo Proofs in Dedukti.

Raphaël Cauderlier, Pierre Halmagrand

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015

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

Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

Implementing Polymorphism in Zenon.

Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand

Proceedings of the IWIL@LPAR 2015, 2015

2013

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.

David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013