- 1
- 1
David Delahaye
2
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
First-order automated reasoning with theories: when deduction modulo theory meets practiceJournal of Automated Reasoning, 2019, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩
Article dans une revue
hal-02305831v1
|
|
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction ModuloLPAR 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
|