Subsumption Demodulation in First-Order Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernhard Gleiss, Laura Kovács, Jakob Rath. Subsumption Demodulation in First-Order Theorem Proving. In Nicolas Peltier, Viorica Sofronie-Stokkermans, editors, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I. Volume 12166 of Lecture Notes in Computer Science, pages 297-315, Springer, 2020. [doi]

This author has not been identified. Look up 'Bernhard Gleiss' in GoogleThis author has not been identified. Look up 'Laura Kovács' in GoogleThis author has not been identified. Look up 'Jakob Rath' in Google

runs on WebDSL