Frédéric Gilbert

Publication Activity (10 Years)

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

Top Topics

Inference Rules

Datalog Programs

First Order Logic

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, 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)
Frédéric Gilbert
Verifiable Certificates for Predicate Subtyping. ESOP (2019)
Frédéric Gilbert
Proof Certificates in PVS. ITP (2017)
Frédéric Gilbert
Automated Constructivization of Proofs. FoSSaCS (2017)
David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. LPAR (2013)