9 results
ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 22 November 2023, pp. 20-40
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A PROOF COMPLEXITY CONJECTURE AND THE INCOMPLETENESS THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 19 September 2023, pp. 1-5
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A MINIMAL SET LOW FOR SPEED
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 03 January 2022, pp. 1693-1728
- Print publication:
- December 2022
-
- Article
- Export citation
NEW RELATIONS AND SEPARATIONS OF CONJECTURES ABOUT INCOMPLETENESS IN THE FINITE DOMAIN
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 22 November 2021, pp. 912-937
- Print publication:
- September 2022
-
- Article
- Export citation
CATEGORICAL COMPLEXITY
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 8 / 2020
- Published online by Cambridge University Press:
- 30 June 2020, e34
-
- Article
-
- You have access
- Open access
- Export citation
COMPLEXITY OF SHORT GENERATING FUNCTIONS
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 6 / 2018
- Published online by Cambridge University Press:
- 14 February 2018, e1
-
- Article
-
- You have access
- Open access
- Export citation
CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 4 / 2016
- Published online by Cambridge University Press:
- 24 June 2016, e15
-
- Article
-
- You have access
- Open access
- Export citation
A THEORY OF COMPLEXITY, CONDITION, AND ROUNDOFF
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 3 / 2015
- Published online by Cambridge University Press:
- 27 February 2015, e4
-
- Article
-
- You have access
- Open access
- Export citation
Une dualité entre fonctions booléennes
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 9 / Issue 3 / July 2010
- Published online by Cambridge University Press:
- 26 April 2010, pp. 633-652
- Print publication:
- July 2010
-
- Article
- Export citation