First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant. First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. Journal of Automated Reasoning, 64(6):1001-1050, 2020. [doi]

This author has not been identified. Look up 'Guillaume Burel' in GoogleThis author has not been identified. Look up 'Guillaume Bury' in GoogleThis author has not been identified. Look up 'Raphaël Cauderlier' in GoogleThis author has not been identified. It may be one of the following persons:

David Delahaye

Look up 'David Delahaye' in GoogleThis author has not been identified. Look up 'Pierre Halmagrand' in GoogleThis author has not been identified. Look up 'Olivier Hermant' in Google

runs on WebDSL