Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

ECCC
2002

favoriteEmaildiscussreport

75views more ECCC 2002»

Nepomnjascij's Theorem and Independence Proofs in Bounded Arithmetic

13 years 4 months ago

Nepomnjascij's Theorem and Independence Proofs in Bounded Arithmetic

Download www.cs.sjsu.edu

Chris Pollett

Real-time Traffic

ECCC 2002 |

claim paper

Related Content

» Logic of Proofs for Bounded Arithmetic

» On Herbrands Theorem

» Polynomial Vicinity Circuits and Nonlinear Lower Bounds

» Preservation theorems for bounded formulas

» A ThirdOrder Bounded Arithmetic Theory for PSPACE

» On Deubers partition theorem for m p csets

» Constructive Proofs of Concentration Bounds

» Verified Real Number Calculations A Library for Interval Arithmetic

» Assisted verification of elementary functions using Gappa

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2002
Where	ECCC
Authors	Chris Pollett

Comments (0)