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
Cauderlier, Raphaël
Publications
Contact
full name
- Raphaël Cauderlier
Publications in VIVO
Co-author Network