Accéder directement au contenu

David Delahaye

2
Documents
Identifiants chercheurs

Présentation

Publications

olivier-hermant
"guillaume-bury"
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