6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Chapter 7 - Declarative
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 98-107
-
- Chapter
- Export citation
Chapter 16 - Subprograms
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 177-194
-
- Chapter
- Export citation
Contents
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp vii-viii
-
- Chapter
- Export citation
Part IV - Distributive Categories
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 188-190
-
- Chapter
- Export citation
Symbol Index
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 357-364
-
- Chapter
- Export citation
4 - The Axioms
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 71-79
-
- Chapter
- Export citation
Appendix D - Informal Summary
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 296-315
-
- Chapter
- Export citation
1 - Fundamental Frameworks
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 23-30
-
- Chapter
- Export citation
Appendix E - Data Notation
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 316-335
-
- Chapter
- Export citation
Part III - Semantic Descriptions
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 129-130
-
- Chapter
- Export citation
8 - Projections and Guards
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 106-117
-
- Chapter
- Export citation
Preface
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp ix-x
-
- Chapter
- Export citation
15 - Atomic Morphisms
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 190-198
-
- Chapter
- Export citation
7 - Preadditive Categories
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 98-105
-
- Chapter
- Export citation
6 - Null and Total Morphisms
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 90-97
-
- Chapter
- Export citation
Chapter 19 - Development
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 217-228
-
- Chapter
- Export citation
Part IV - Conclusion
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 205-206
-
- Chapter
- Export citation
Contents
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp v-xii
-
- Chapter
- Export citation
Chapter 10 - Communicative
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 120-128
-
- Chapter
- Export citation
Concept Index
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 365-372
-
- Chapter
- Export citation