6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
9 - The Two Worlds of Bounded Arithmetic
- from Part II - Upper Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 185-196
-
- Chapter
- Export citation
20 - Model Theory and Lower Bounds
- from Part IV - Beyond Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 442-455
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp i-iv
-
- Chapter
- Export citation
21 - Optimality
- from Part IV - Beyond Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 456-471
-
- Chapter
- Export citation
Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 261-262
-
- Chapter
- Export citation
16 - Algebraic and Geometric Proof Systems
- from Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 337-352
-
- Chapter
- Export citation
Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 9-10
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp xv-xvi
-
- Chapter
- Export citation
11 - Examples of Upper Bounds and p-Simulations
- from Part II - Upper Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 211-232
-
- Chapter
- Export citation
Contents
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp vii-xii
-
- Chapter
- Export citation
Part II - Upper Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 163-164
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811084/16849/cover/9781108416849.jpg)
Proof Complexity
-
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019
An asymptotic bound for the strong chromatic number
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 28 / Issue 5 / September 2019
- Published online by Cambridge University Press:
- 15 March 2019, pp. 768-776
-
- Article
- Export citation
Decomposing Graphs into Edges and Triangles
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 28 / Issue 3 / May 2019
- Published online by Cambridge University Press:
- 13 March 2019, pp. 465-472
-
- Article
- Export citation
Abelian Logic Gates
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 28 / Issue 3 / May 2019
- Published online by Cambridge University Press:
- 13 March 2019, pp. 388-422
-
- Article
- Export citation
A central limit theorem for additive functionals of increasing trees
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 28 / Issue 4 / July 2019
- Published online by Cambridge University Press:
- 08 March 2019, pp. 618-637
-
- Article
- Export citation
Decomposing edge-coloured graphs under colour degree constraints
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 28 / Issue 5 / September 2019
- Published online by Cambridge University Press:
- 01 March 2019, pp. 755-767
-
- Article
- Export citation
Separation Choosability and Dense Bipartite Induced Subgraphs
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 28 / Issue 5 / September 2019
- Published online by Cambridge University Press:
- 26 February 2019, pp. 720-732
-
- Article
-
- You have access
- Open access
- Export citation
Restricted completion of sparse partial Latin squares
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 28 / Issue 5 / September 2019
- Published online by Cambridge University Press:
- 20 February 2019, pp. 675-695
-
- Article
- Export citation
Improper colouring of graphs with no odd clique minor
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 28 / Issue 5 / September 2019
- Published online by Cambridge University Press:
- 04 February 2019, pp. 740-754
-
- Article
- Export citation