Cut-simulation in impredicative logics

Kohlhase M, Brown C (2006)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2006

Publisher: Springer Verlag

Pages Range: 220-234

Event location: Seattle, WA

ISBN: 9783540371878

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

Authors with CRIS profile

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

Involved external institutions

Univerzita Karlova v Praze / Charles University in Prague CZ Czech Republic (CZ) Freie Universität Berlin DE Germany (DE)

How to cite

APA:

Kohlhase, M., & Brown, C. (2006). Cut-simulation in impredicative logics. In Proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006 (pp. 220-234). Seattle, WA: Springer Verlag.

MLA:

Kohlhase, Michael, and Chad Brown. "Cut-simulation in impredicative logics." Proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, Seattle, WA Springer Verlag, 2006. 220-234.

BibTeX: Download