MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Bounded Arithmetic and the Polynomial Hierarchy." – 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.

ATOM

Relating the Bounded Arithmetic and Polynomial Time Hierarchies
by Samuel R. Buss, Then T — 1994 — Annals of Pure and Applied Logic
…Relating the Bounded Arithmetic and Polynomial Time Hierarchies Samuel R. Buss # Department…
Cited by 27 (0 self) – Add To MetaCart

unknown title
by Pavel Pudlák, Gaisi Takeuti — 1990
… and G. Takeuti, Bounded arithmetic and the polynomial hierarchy, Annals of Pure and Applied Logic 52…
Add To MetaCart

R. I(AYE, Oing Herbrand-type theorems to separate strong fragments of arithmetic. Typeset
by Ketonen And Solovay, J. Ketonen, R. Solovay, Rapidly Growing Ramsey Functions, Annals Of, P. Pudlxk, G. Takeuti, Bounded Arithmetic, The Polynomial
…QEK, Fragments of bounded arithmetic and bounded query classes. To appear in Transactions of the A.M.S. , 3…
Add To MetaCart

Showing 1 through 3.

ATOM

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