2 search results - page 1 / 1 » A Third-Order Bounded Arithmetic Theory for PSPACE |
CSL
2004
Springer
15 years 3 months ago
2004
Springer
We present a novel third-order theory W1 1 of bounded arithmetic suitable for reasoning about PSPACE functions. This theory has the advantages of avoiding the smash function symbol...
77
Voted
LOGCOM
2007
14 years 10 months ago
2007
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...