5571 results in Programming Languages and Applied Logic
3 - Characterising Parallel Systems
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp 31-50
-
- Chapter
- Export citation
4 - Characterising Sequential Systems
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp 51-70
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp v-viii
-
- Chapter
- Export citation
2 - Operational Semantics
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp 9-30
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp 89-94
-
- Chapter
- Export citation
Abstract
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp ix-x
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp xi-xii
-
- Chapter
- Export citation
Index of Definitions
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp 103-104
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp i-iv
-
- Chapter
- Export citation
5 - Approaches to Incompleteness
-
- Book:
- Logic Programming
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992, pp 71-82
-
- Chapter
- Export citation
Logic Programming
- Operational Semantics and Proof Theory
-
- Published online:
- 23 November 2009
- Print publication:
- 17 December 1992
9 - Theoretical topics
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 243-262
-
- Chapter
- Export citation
Contents
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp v-vi
-
- Chapter
- Export citation
10 - Additional language constructs
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 263-286
-
- Chapter
- Export citation
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