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
Halmagrand, Pierre
Publications
Contact
full name
- Pierre Halmagrand
Publications in VIVO
Co-author Network