Extensional higher-order resolution
Benzmüller C, Kohlhase M (1998)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 1998
Publisher: Springer Verlag
Book Volume: 1421
Pages Range: 56-71
ISBN: 9783540646754
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84858341103&origin=inward
Authors with CRIS profile
Involved external institutions
Germany (DE)How to cite
APA:
Benzmüller, C., & Kohlhase, M. (1998). Extensional higher-order resolution. In Proceedings of the 15th International Conference on Automated Deduction, CADE 1998 (pp. 56-71). Springer Verlag.
MLA:
Benzmüller, Christoph, and Michael Kohlhase. "Extensional higher-order resolution." Proceedings of the 15th International Conference on Automated Deduction, CADE 1998 Springer Verlag, 1998. 56-71.
BibTeX: Download