6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
11 - Representations by Relations
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 146-160
-
- Chapter
- Export citation
Preface
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp xv-xx
-
- Chapter
- Export citation
Chapter 18 - Other Frameworks
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 207-216
-
- Chapter
- Export citation
Part II - Action Notation
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 57-58
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 350-356
-
- Chapter
- Export citation
Part II - Structure of a Boolean Category
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 71-71
-
- Chapter
- Export citation
Chapter 11 - Statements
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 131-135
-
- Chapter
- Export citation
Chapter 15 - Variables
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 163-176
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805216/16102/cover/9780521616102.jpg)
Predicate Transformer Semantics
-
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992
Chapter 2 - Action Semantic Descriptions
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 21-35
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp i-vi
-
- Chapter
- Export citation
Appendix G - Assessment
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 347-349
-
- Chapter
- Export citation
10 - Predicate Transformers
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 131-145
-
- Chapter
- Export citation
Chapter 4 - Basic
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 59-66
-
- Chapter
- Export citation
Appendix F - Meta-Notation
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 336-346
-
- Chapter
- Export citation
Chapter 9 - Reflective
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 114-119
-
- Chapter
- Export citation
Appendix C - Operational Semantics
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 278-295
-
- Chapter
- Export citation
14 - Equations for 3-valued if-then-else
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 182-187
-
- Chapter
- Export citation
Chapter 12 - Literals
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 136-141
-
- Chapter
- Export citation
Chapter 3 - Algebraic Specifications
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 36-56
-
- Chapter
- Export citation