2 search results - page 1 / 1 » A Third-Order Bounded Arithmetic Theory for PSPACE |
CSL
2004
Springer
14 years 24 days 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...
LOGCOM
2007
13 years 7 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...