7 results
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
Algorithms yield upper bounds in differential algebra
- Part of
-
- Journal:
- Canadian Journal of Mathematics / Volume 75 / Issue 1 / February 2023
- Published online by Cambridge University Press:
- 29 September 2021, pp. 29-51
- Print publication:
- February 2023
-
- Article
- Export citation
A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 05 October 2020, pp. 732-757
- Print publication:
- June 2022
-
- Article
- Export citation
Deterministic polynomial factoring and association schemes
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 April 2014, pp. 123-140
-
- Article
-
- You have access
- Export citation
The complexity of the four colour theorem
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 13 / January 2010
- Published online by Cambridge University Press:
- 01 August 2010, pp. 414-425
-
- Article
-
- You have 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
Circuits arithmétiques et calculs tensoriels
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 7 / Issue 4 / October 2008
- Published online by Cambridge University Press:
- 07 October 2008, pp. 869-893
- Print publication:
- October 2008
-
- Article
- Export citation