Higher-order multi-valued resolution

Kohlhase M, Scheja O (1999)

Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 1999

Journal

Journal of Applied Non-Classical Logics Taylor and Francis

Book Volume: 9

Pages Range: 455-477

Journal Issue: 4

DOI: 10.1080/11663081.1999.10510980

Authors with CRIS profile

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

How to cite

APA:

Kohlhase, M., & Scheja, O. (1999). Higher-order multi-valued resolution. Journal of Applied Non-Classical Logics, 9(4), 455-477. https://doi.org/10.1080/11663081.1999.10510980

MLA:

Kohlhase, Michael, and Ortwin Scheja. "Higher-order multi-valued resolution." Journal of Applied Non-Classical Logics 9.4 (1999): 455-477.

BibTeX: Download