15 results
Contents
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp v-vi
-
- Chapter
- Export citation
6 - Directed Expansion and Reduction
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 88-129
-
- Chapter
- Export citation
4 - Computing Goal Solutions
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 47-52
-
- Chapter
- Export citation
Index
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 275-279
-
- Chapter
- Export citation
5 - Inductive Expansion
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 53-87
-
- Chapter
- Export citation
9 - EXPANDER: Inductive Expansion in SML
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 219-268
-
- Chapter
- Export citation
7 - Implications of Ground Confluence
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 130-161
-
- Chapter
- Export citation
2 - Guards, Generators and Constructors
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 18-32
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp i-iv
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/17235/cover/9780521417235.gif)
Deductive and Declarative Programming
-
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992
0 - Introduction
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 1-7
-
- Chapter
- Export citation
1 - Preliminaries
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 8-17
-
- Chapter
- Export citation
8 - Examples
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 162-218
-
- Chapter
- Export citation
3 - Models and Correctness
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 33-46
-
- Chapter
- Export citation
References
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 269-274
-
- Chapter
- Export citation