6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
9 - Modal and linear logic
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 283-316
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 1-34
-
- Chapter
- Export citation
10 - Proof theory of arithmetic
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 317-344
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp i-iv
-
- Chapter
- Export citation
Preface
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp ix-xii
-
- Chapter
- Export citation
1 - Combinatorial Discrepancy
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 1-40
-
- Chapter
- Export citation
8 - Linear Programming and Extensions
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 307-315
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp i-iv
-
- Chapter
- Export citation
Preface
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp xi-xviii
-
- Chapter
- Export citation
B - Harmonic Analysis
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 442-448
-
- Chapter
- Export citation
4 - Sampling
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 169-202
-
- Chapter
- Export citation
Index
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 469-475
-
- Chapter
- Export citation
7 - Convex Hulls and Voronoi Diagrams
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 283-306
-
- Chapter
- Export citation
11 - Minimum Spanning Trees
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 376-429
-
- Chapter
- Export citation
5 - Geometric Searching
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 203-227
-
- Chapter
- Export citation
10 - Communication Complexity
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 346-375
-
- Chapter
- Export citation
A - Probability Theory
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 430-441
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 454-468
-
- Chapter
- Export citation
C - Convex Geometry
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 449-453
-
- Chapter
- Export citation
2 - Upper Bound Techniques
-
- Book:
- The Discrepancy Method
- Published online:
- 05 October 2013
- Print publication:
- 24 July 2000, pp 41-132
-
- Chapter
- Export citation