5571 results in Programming Languages and Applied Logic
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
List of tables
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp xii-xii
-
- Chapter
- Export citation
3 - Structuring algebraic specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 59-78
-
- 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
Bibliography
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 303-308
-
- Chapter
- Export citation
B - Standard library
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 317-331
-
- 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
Contents
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp v-ix
-
- Chapter
- Export citation
5 - From algebras to states
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 113-142
-
- 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
Preface
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp xiii-xvi
-
- 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
1 - Introducing the basic concepts
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 3-32
-
- Chapter
- Export citation
Index
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 332-335
-
- 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
11 - Towards large systems
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 287-302
-
- Chapter
- Export citation
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
8 - Implementing state-based specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 199-240
-
- Chapter
- Export citation