5570 results in Programming Languages and Applied Logic
Appendix
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 389-390
-
- Chapter
- Export citation
CHAPTER 1 - INTRODUCTION
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 1-60
-
- Chapter
- Export citation
CHAPTER X - ADDITIONAL RESULTS
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 391-408
-
- Chapter
- Export citation
11 - Further topics
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 123-138
-
- Chapter
- Export citation
1 - The idea of bigraphs
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 3-13
-
- Chapter
- Export citation
7 - Reactions and transitions
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 73-87
-
- Chapter
- Export citation
2 - Defining bigraphs
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 14-27
-
- Chapter
- Export citation
5 - Bigraphical structure
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 46-58
-
- Chapter
- Export citation
Appendix A - Technical detail
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 147-161
-
- Chapter
- Export citation
Part III - Development
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 121-122
-
- Chapter
- Export citation
Appendices
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 146-146
-
- Chapter
- Export citation
References
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 180-184
-
- Chapter
- Export citation
10 - Behavioural theory for CCS
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 110-120
-
- Chapter
- Export citation
3 - Algebra for bigraphs
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 28-38
-
- Chapter
- Export citation
Contents
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp vii-viii
-
- Chapter
- Export citation
4 - Relative and minimal bounds
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 39-45
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp xxi-xxii
-
- Chapter
- Export citation
Glossary of terms and symbols
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 177-179
-
- Chapter
- Export citation
Part I - Space
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 1-2
-
- Chapter
- Export citation
Index
-
- Book:
- The Space and Motion of Communicating Agents
- Published online:
- 05 August 2012
- Print publication:
- 19 March 2009, pp 185-191
-
- Chapter
- Export citation