6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
A - Syntax
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 309-316
-
- 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
I - Algebraic specification
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 1-2
-
- Chapter
- Export citation
2 - Setting up algebraic specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 33-58
-
- Chapter
- Export citation
II - State-based specification
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 111-112
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp i-iv
-
- 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
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