scientific article; zbMATH DE number 424614
From MaRDI portal
Publication:3136460
Recommendations
- Arithmetic theories for computational complexity problems
- scientific article; zbMATH DE number 1531922
- scientific article; zbMATH DE number 4114622
- scientific article; zbMATH DE number 4053608
- The computational content of arithmetical proofs
- Arithmetical definability and computational complexity
- scientific article; zbMATH DE number 1231647
- scientific article; zbMATH DE number 3966052
- scientific article; zbMATH DE number 819737
- scientific article; zbMATH DE number 1070621
Cited in
(19)- Petr Hájek: A Scientific Biography
- Nondeterministic stack register machines
- Where pigeonhole principles meet Koenig lemmas
- scientific article; zbMATH DE number 1531922 (Why is no real title available?)
- A dichotomy for \(T\)-convex fields with a monomial group
- Towards NP-P via proof complexity and search
- Frege proof system and TNC°
- Models of true arithmetic are integer parts of models of real exponentation
- Complexity barriers as independence
- Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \)
- Real closed fields and models of Peano arithmetic
- Von Neumann, Gödel and complexity theory
- Translation of resolution proofs into short first-order proofs without choice axioms
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
- Cutting planes, connectivity, and threshold logic
- \(k\)-provability in \(\mathrm{PA}\)
- Peano Corto and Peano Basso: a study of local induction in the context of weak theories
- scientific article; zbMATH DE number 3966052 (Why is no real title available?)
- \(\text{Count}(q)\) does not imply \(\text{Count}(p)\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3136460)
