Managing structural information by higher-order colored unification

Hutter D, Kohlhase M (2000)

Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 2000

Journal

Journal of Automated Reasoning Springer Verlag (Germany)

Publisher: Kluwer Academic Publishers

City/Town: Dordrecht, Netherlands

Book Volume: 25

Pages Range: 123-164

Journal Issue: 2

DOI: 10.1023/A:1006282725324

Authors with CRIS profile

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

Involved external institutions

Universität Bremen DE Germany (DE)

How to cite

APA:

Hutter, D., & Kohlhase, M. (2000). Managing structural information by higher-order colored unification. Journal of Automated Reasoning, 25(2), 123-164. https://doi.org/10.1023/A:1006282725324

MLA:

Hutter, Dieter, and Michael Kohlhase. "Managing structural information by higher-order colored unification." Journal of Automated Reasoning 25.2 (2000): 123-164.

BibTeX: Download