Unification in order-sorted type theory

Kohlhase M (1992)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1992

Publisher: Springer Verlag

Pages Range: 421-432

ISBN: 9783540557272

DOI: 10.1007/BFb0013080

Authors with CRIS profile

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

How to cite

APA:

Kohlhase, M. (1992). Unification in order-sorted type theory. In Proceedings of the International Conference on Logic Programming and Automated Reasoning, LPAR 1992 (pp. 421-432). Springer Verlag.

MLA:

Kohlhase, Michael. "Unification in order-sorted type theory." Proceedings of the International Conference on Logic Programming and Automated Reasoning, LPAR 1992 Springer Verlag, 1992. 421-432.

BibTeX: Download