5571 results in Programming Languages and Applied Logic
Chapter 7 - Polytopes
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 127-168
-
- Chapter
- Export citation
Preface
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp xv-xviii
-
- Chapter
- Export citation
Contents
-
- Book:
- Term Rewriting and All That
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp v-viii
-
- Chapter
- Export citation
Algorithmic Geometry
-
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998
Frontmatter
-
- Book:
- Term Rewriting and All That
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp i-iv
-
- Chapter
- Export citation
References
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 492-507
-
- Chapter
- Export citation
7 - Completion
-
- Book:
- Term Rewriting and All That
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 158-186
-
- Chapter
- Export citation
10 - Equational Unification
-
- Book:
- Term Rewriting and All That
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 223-264
-
- Chapter
- Export citation
Contents
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp vii-xiv
-
- Chapter
- Export citation
Chapter 1 - Notions of complexity
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 3-12
-
- Chapter
- Export citation
Part V - Voronoi diagrams
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 405-406
-
- Chapter
- Export citation
Chapter 18 - Non-Euclidean metrics
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 433-458
-
- Chapter
- Export citation
Chapter 13 - Triangulations in dimension 3
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 289-318
-
- Chapter
- Export citation
Chapter 11 - Complexes and triangulations
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 243-262
-
- Chapter
- Export citation
Chapter 3 - Deterministic methods used in geometry
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 32-45
-
- Chapter
- Export citation
Chapter 14 - Arrangements of hyperplanes
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 321-351
-
- Chapter
- Export citation
Part III - Triangulations
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 241-242
-
- Chapter
- Export citation
5 - Termination
-
- Book:
- Term Rewriting and All That
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 93-133
-
- Chapter
- Export citation
Appendix 1 - Ordered Sets
-
- Book:
- Term Rewriting and All That
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 276-277
-
- Chapter
- Export citation
Chapter 16 - Arrangements of triangles
-
- Book:
- Algorithmic Geometry
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998, pp 373-404
-
- Chapter
- Export citation