selected publications
-
academic article
- First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. Journal of Automated Reasoning. 64:1001-1050. 2019
Close
Delahaye, David
Publications
Contact
full name
- David Delahaye
Publications in VIVO
Co-author Network