Unification in an extensional lambda calculus with ordered function sorts and constant overloading

Kohlhase M (1994)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1994

Publisher: Springer Verlag

Pages Range: 620-634

ISBN: 9783540581567

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84945308194&origin=inward

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Kohlhase, M. (1994). Unification in an extensional lambda calculus with ordered function sorts and constant overloading. In Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 (pp. 620-634). Springer Verlag.

MLA:

Kohlhase, Michael. "Unification in an extensional lambda calculus with ordered function sorts and constant overloading." Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 Springer Verlag, 1994. 620-634.

BibTeX: Download