Searching for "An arithmetic for polynomial-time computation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

An Arithmetic for Polynomial-Time Computation
by Helmut Schwichtenberg — 2002
…An arithmetic for polynomial-time computation Helmut Schwichtenberg January 15, 2002 Abstract…
Cited by 2 (0 self) – Add To MetaCart

Constructive Mathematical Truth
by Dmytro Taranovsky — 2006
… are also recursive (and hence polynomial-time computable). For example, to convert a witness for ∀x…
Add To MetaCart

A New Method for Establishing Conservativity of Classical Systems Over Their Intuitionistic Version
by Thierry Coquand, Martin Hofmann
… Arithmetic are polynomial time computable. Introduction One goal of Hilbert's programme (Hilbert 1971…
Cited by 7 (1 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB