The following pages link to (Q3203014):
Displaying 6 items.
- Characterizing complexity classes by higher type primitive recursive definitions (Q1193623) (← links)
- Characterizing complexity classes by general recursive definitions in higher types (Q1207943) (← links)
- Hereditarily-finite sets, data bases and polynomial-time computability (Q1311973) (← links)
- Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus (Q3190158) (← links)
- Characterizing complexity classes by higher type primitive recursive definitions. II (Q3979266) (← links)
- Computing on structures (Q4630296) (← links)