Cut-simulation and impredicativity

Kohlhase M, Brown C, Benzmüller C (2009)

Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 2009

Journal

Logical Methods in Computer Science Logical Methods in Computer Science e.V.

Book Volume: 5

Pages Range: 1-21

Journal Issue: 1

DOI: 10.2168/LMCS-5(1:6)2009

Authors with CRIS profile

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

Involved external institutions

Freie Universität Berlin DE Germany (DE)

How to cite

APA:

Kohlhase, M., Brown, C., & Benzmüller, C. (2009). Cut-simulation and impredicativity. Logical Methods in Computer Science, 5(1), 1-21. https://doi.org/10.2168/LMCS-5(1:6)2009

MLA:

Kohlhase, Michael, Chad Brown, and Christoph Benzmüller. "Cut-simulation and impredicativity." Logical Methods in Computer Science 5.1 (2009): 1-21.

BibTeX: Download