System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers

Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini. System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. In David Sabel, Peter Thiemann, editors, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.