111 search results - page 1 / 23 » Third-Order Computation and Bounded Arithmetic |
LOGCOM
2007
15 years 9 days 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...
CSL
2004
Springer
15 years 5 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...
120
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
157
click to vote
UMC
2000
15 years 4 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
85
Voted
TCS
1998
15 years 2 days ago
1998
