Higher-order tableaux

Kohlhase M (1995)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1995

Publisher: Springer Verlag

Book Volume: 918

Pages Range: 294-309

ISBN: 9783540593386

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

Authors with CRIS profile

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

How to cite

APA:

Kohlhase, M. (1995). Higher-order tableaux. In Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1995 (pp. 294-309). Springer Verlag.

MLA:

Kohlhase, Michael. "Higher-order tableaux." Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1995 Springer Verlag, 1995. 294-309.

BibTeX: Download