5571 results in Programming Languages and Applied Logic
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
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