5570 results in Programming Languages and Applied Logic
12 - Background, development and related work
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 139-145
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp i-vi
-
- Chapter
- Export citation
6 - Sorting
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 59-70
-
- Chapter
- Export citation
Prologue
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp ix-xx
-
- Chapter
- Export citation
The Space and Motion of Communicating Agents
-
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009
9 - Behaviour in link graphs
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 100-109
-
- Chapter
- Export citation
Part II - Motion
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 71-72
-
- Chapter
- Export citation
Appendix B - Solutions to exercises
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 162-176
-
- Chapter
- Export citation
8 - Bigraphical reactive systems
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 88-99
-
- Chapter
- Export citation
Appendix 2 - OCaml made light of
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 603-622
-
- Chapter
- Export citation
Preface
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp xi-xx
-
- Chapter
- Export citation
Appendix 3 - Parsing and printing of formulas
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 623-630
-
- Chapter
- Export citation
Handbook of Practical Logic and Automated Reasoning
-
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009
6 - Interactive theorem proving
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 464-525
-
- Chapter
- Export citation
Contents
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp vii-x
-
- Chapter
- Export citation
7 - Limitations
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 526-592
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp i-vi
-
- Chapter
- Export citation
2 - Propositional logic
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 25-117
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 1-24
-
- Chapter
- Export citation
5 - Decidable problems
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 308-463
-
- Chapter
- Export citation