scientific article; zbMATH DE number 2196511

From MaRDI portal

Publication:5465358

Jump to:navigation, search

zbMath1079.03050MaRDI QIDQ5465358

Samuel R. Buss

Publication date: 22 August 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fragments of bounded arithmetic Paris-Wilkie translation bounded depth Frege systems PK-proof systems

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

Related Items (2)

On the computational complexity of cut-reduction ⋮ Nested PLS

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5465358&oldid=20246651"