Ebook: Subrecursive Programming Systems: Complexity & Succinctness

---

Content:
Front Matter....Pages i-viii
Introduction....Pages 1-18
Front Matter....Pages 19-19
Basic Notation and Definitions....Pages 21-30
Deterministic Multi-tape Turing Machines....Pages 31-55
Programming Systems....Pages 56-94
The LOOP Hierarchy....Pages 95-104
The Poly-Degree Hierarchy....Pages 105-112
Delayed Enumeration and Limiting Recursion....Pages 113-121
Inseparability Notions....Pages 122-127
Toolkit Demonstrations....Pages 128-151
Front Matter....Pages 153-153
Notions of Succinctness....Pages 155-161
Limiting-Recursive Succinctness Progressions....Pages 162-190
Succinctness for Finite and Infinite Variants....Pages 191-199
Succinctness for Singleton Sets....Pages 200-220
Further Problems....Pages 221-222
Back Matter....Pages 223-253

---

Content:
Front Matter....Pages i-viii
Introduction....Pages 1-18
Front Matter....Pages 19-19
Basic Notation and Definitions....Pages 21-30
Deterministic Multi-tape Turing Machines....Pages 31-55
Programming Systems....Pages 56-94
The LOOP Hierarchy....Pages 95-104
The Poly-Degree Hierarchy....Pages 105-112
Delayed Enumeration and Limiting Recursion....Pages 113-121
Inseparability Notions....Pages 122-127
Toolkit Demonstrations....Pages 128-151
Front Matter....Pages 153-153
Notions of Succinctness....Pages 155-161
Limiting-Recursive Succinctness Progressions....Pages 162-190
Succinctness for Finite and Infinite Variants....Pages 191-199
Succinctness for Singleton Sets....Pages 200-220
Further Problems....Pages 221-222
Back Matter....Pages 223-253
....