"TR-2003007: On the Complexity of the Reflected Logic of Proofs" by Nikolai V. Krupski

Skip to main content

Computer Science Technical Reports

Title

TR-2003007: On the Complexity of the Reflected Logic of Proofs

Authors

Nikolai V. Krupski

Document Type

Technical Report

Publication Date

2003

Recommended Citation

Krupski, Nikolai V., "TR-2003007: On the Complexity of the Reflected Logic of Proofs" (2003). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/228

Included in

Computer Sciences Commons

COinS