6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Contents
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp v-viii
-
- Chapter
- Export citation
16 - Subtypes and Intersection Types
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 349-378
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp i-iv
-
- Chapter
- Export citation
Index
-
- Book:
- Computational Geometry in C
- Published online:
- 05 June 2012
- Print publication:
- 13 October 1998, pp 361-376
-
- Chapter
- Export citation
9 - Sources
-
- Book:
- Computational Geometry in C
- Published online:
- 05 June 2012
- Print publication:
- 13 October 1998, pp 347-350
-
- Chapter
- Export citation
1 - Predicate Logic
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 1-23
-
- Chapter
- Export citation
15 - The Simple Type System
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 315-348
-
- Chapter
- Export citation
19 - Algol-like Languages
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 415-446
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Computational Geometry in C
- Published online:
- 05 June 2012
- Print publication:
- 13 October 1998, pp i-vi
-
- Chapter
- Export citation
4 - Convex Hulls in Three Dimensions
-
- Book:
- Computational Geometry in C
- Published online:
- 05 June 2012
- Print publication:
- 13 October 1998, pp 101-154
-
- Chapter
- Export citation
6 - Transition Semantics
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 126-135
-
- Chapter
- Export citation
11 - An Eager Functional Language
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 222-250
-
- Chapter
- Export citation
2 - Polygon Partitioning
-
- Book:
- Computational Geometry in C
- Published online:
- 05 June 2012
- Print publication:
- 13 October 1998, pp 44-62
-
- Chapter
- Export citation
18 - Module Specification
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 398-414
-
- Chapter
- Export citation
7 - Nondeterminism and Guarded Commands
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 136-154
-
- Chapter
- Export citation
2 - The Simple Imperative Language
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 24-53
-
- Chapter
- Export citation
10 - The Lambda Calculus
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 194-221
-
- Chapter
- Export citation
6 - Arrangements
-
- Book:
- Computational Geometry in C
- Published online:
- 05 June 2012
- Print publication:
- 13 October 1998, pp 193-219
-
- Chapter
- Export citation
8 - Motion Planning
-
- Book:
- Computational Geometry in C
- Published online:
- 05 June 2012
- Print publication:
- 13 October 1998, pp 294-346
-
- Chapter
- Export citation
Preface
-
- Book:
- Computational Geometry in C
- Published online:
- 05 June 2012
- Print publication:
- 13 October 1998, pp x-xiv
-
- Chapter
- Export citation