Sciweavers

2 search results - page 1 / 1
» A Third-Order Bounded Arithmetic Theory for PSPACE
Sort
View
CSL
2004
Springer
15 years 3 months ago
A Third-Order Bounded Arithmetic Theory for PSPACE
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...
Alan Skelley
77
Voted
LOGCOM
2007
92views more  LOGCOM 2007»
14 years 10 months ago
Third-Order Computation and Bounded Arithmetic
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...
Alan Skelley