scientific article; zbMATH DE number 424614
From MaRDI portal
Publication:3136460
zbMATH Open0777.00008MaRDI QIDQ3136460FDOQ3136460
Authors:
Publication date: 3 October 1993
Title of this publication is not available (Why is that?)
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
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cited In (19)
- Petr Hájek: A Scientific Biography
- Where pigeonhole principles meet Koenig lemmas
- A dichotomy for \(T\)-convex fields with a monomial group
- Nondeterministic stack register machines
- Title not available (Why is that?)
- 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
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
- Translation of resolution proofs into short first-order proofs without choice axioms
- 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
- Title not available (Why is that?)
- \(\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)
