Pierre Halmagrand

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 3

Top Topics

Propositional Theories

Logical Framework

Top Venues

LPAR (short papers)

Conservatoire national des arts et métiers, Paris, France (PHD)

Education History

Conservatoire national des arts et métiers, Paris, France

PHD

Publications

Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. CoRR (2023)
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. J. Autom. Reason. 64 (6) (2020)
Pierre Halmagrand
Soundly Proving B Method Formulæ Using Typed Sequent Calculus. ICTAC (2016)
Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand
Implementing Polymorphism in Zenon. IWIL@LPAR (2015)
Raphaël Cauderlier, Pierre Halmagrand
Checking Zenon Modulo Proofs in Dedukti. PxTP@CADE (2015)
Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. LPAR (short papers) (2015)
David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. LPAR (2013)