Accéder directement au contenu

David Delahaye

5
Documents
Identifiants chercheurs

Présentation

Publications

pierrehalmagrand
Image document

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

Ali Assaf , Guillaume Burel , Raphal Cauderlier , David Delahaye , Gilles Dowek
TYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia
Communication dans un congrès hal-01441751v1
Image document

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

Guillaume Bury , David Delahaye , Damien Doligez , Pierre Halmagrand , Olivier Hermant
LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. pp 42-58
Communication dans un congrès hal-01204701v2
Image document

Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo

David Delahaye , Damien Doligez , Frédéric Gilbert , Pierre Halmagrand , Olivier Hermant
LPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013, Dec 2013, Stellenbosch, South Africa. pp.274-290, ⟨10.1007/978-3-642-45221-5_20⟩
Communication dans un congrès hal-00909784v1
Image document

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

David Delahaye , Damien Doligez , Frédéric Gilbert , Pierre Halmagrand , Olivier Hermant
IWIL - 10th International Workshop on the Implementation of Logics - 2013, Dec 2013, Stellenbosch, South Africa
Communication dans un congrès hal-00909688v1