6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Part III - Metatheory
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 146-146
-
- Chapter
- Export citation
Chapter 8 - Imperative
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 108-113
-
- Chapter
- Export citation
Chapter 6 - Functional
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 88-97
-
- Chapter
- Export citation
Chapter 14 - Declarations
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 152-162
-
- Chapter
- Export citation
Chapter 13 - Expressions
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 142-151
-
- Chapter
- Export citation
Introduction
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 1-22
-
- Chapter
- Export citation
2 - Natural Choice Operators
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 31-45
-
- Chapter
- Export citation
5 - The Boolean Algebra of Summands
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 80-89
-
- Chapter
- Export citation
List of Boxes
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp xiii-xiv
-
- Chapter
- Export citation
3 - Polymorphic Iterates
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 46-70
-
- Chapter
- Export citation
Appendix A - AD Action Semantics
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 231-260
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp i-iv
-
- Chapter
- Export citation
Part I - Finite Coproducts
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 23-23
-
- Chapter
- Export citation
Appendix B - Action Notation
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 261-277
-
- Chapter
- Export citation
Chapter 1 - Language Descriptions
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 3-20
-
- Chapter
- Export citation
Appendices
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 229-230
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 216-220
-
- Chapter
- Export citation
Chapter 17 - Tasks
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 195-204
-
- Chapter
- Export citation
Chapter 5 - Data
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 67-87
-
- Chapter
- Export citation
13 - Completion and Duality
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 171-181
-
- Chapter
- Export citation