Date of Original Version
2-1994
Type
Technical Report
Abstract or Table of Contents
Aleksandar Ignjatović. Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles (I).
2-1994
Technical Report
Aleksandar Ignjatović. Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles (I).
Comments
CMU-PHIL-49