6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
The Clausal Theory of Types
-
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993
3 - Higher-Order Logic
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 27-44
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp ix-ix
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp 1-15
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp i-iv
-
- Chapter
- Export citation
5 - Related Results
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp 129-154
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 107-120
-
- Chapter
- Export citation
1 - Logic Programming: A Case Study
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 1-16
-
- Chapter
- Export citation
Abstract
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp vii-viii
-
- Chapter
- Export citation
3 - Applications to Particular Families of Structures
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp 84-118
-
- Chapter
- Export citation
Index of Notation and Terms
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp xii-xvi
-
- Chapter
- Export citation
5 - Higher-Order Equational Logic Programming
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 89-106
-
- Chapter
- Export citation
4 - Higher-Order Equational Unification
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 45-88
-
- Chapter
- Export citation
General References
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp xi-xi
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp i-iv
-
- Chapter
- Export citation
Contents
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp v-vi
-
- Chapter
- Export citation
4 - Directions for Future Work on Listing
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp 119-128
-
- Chapter
- Export citation
2 - Simply Typed λ-Calculus
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 17-26
-
- Chapter
- Export citation
2 - Techniques for Listing Combinatorial Structures
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp 16-83
-
- Chapter
- Export citation
Contents
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp v-vi
-
- Chapter
- Export citation