Suchergebnisse - "Models of Computation—Computability theory General Terms"

Improved Witnessing and Local Improvement Principles for Second-Order Bounded Arithmetic

Autoren: Arnold Beckmann Samuel R. Buss The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Arnold Beckmann Samuel R. Buss The Pennsylvania State University CiteSeerX Archives

Quelle: http://tocl.acm.org/accepted/beckmann_improved.pdf.

Schlagwörter: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computability theory, Proof theory, F.1.1 [Computation by Abstract Devices, Models of Computation—Computability theory General Terms, Theory Additional Key Words and Phrases, Bounded Arithmetic, Polynomial Space, Witnessing, Local Improvement, Provably Total Functions, NP Search Problems ACM Reference Format

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.8592; http://tocl.acm.org/accepted/beckmann_improved.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.8592
http://tocl.acm.org/accepted/beckmann_improved.pdf