5571 results in Programming Languages and Applied Logic
B - Implementation of BTA
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 129-139
-
- Chapter
- Export citation
3 - Static Projections
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 28-37
-
- Chapter
- Export citation
Preface
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp x-xii
-
- Chapter
- Export citation
A - Implementation of PEL
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 116-128
-
- Chapter
- Export citation
5 - PROCESS CONSTRUCTION
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 169-226
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp i-iv
-
- Chapter
- Export citation
AUTHOR INDEX
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 253-255
-
- Chapter
- Export citation
Nets, Terms and Formulas
- Three Views of Concurrent Processes and their Relationship
-
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991
4 - LOGICAL FORMULAS
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 97-168
-
- Chapter
- Export citation
2 - PETRI NETS
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 19-42
-
- Chapter
- Export citation
BIBLIOGRAPHY
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 241-252
-
- Chapter
- Export citation
1 - INTRODUCTION
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 1-18
-
- Chapter
- Export citation
6 - EXTENSIONS
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 227-240
-
- Chapter
- Export citation
SUBJECT INDEX
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 256-260
-
- Chapter
- Export citation
PREFACE
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp v-viii
-
- Chapter
- Export citation
3 - PROCESS TERMS
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 43-96
-
- Chapter
- Export citation
SYMBOL INDEX
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp 261-267
-
- Chapter
- Export citation
Contents
-
- Book:
- Nets, Terms and Formulas
- Published online:
- 06 January 2010
- Print publication:
- 03 October 1991, pp ix-x
-
- Chapter
- Export citation
Logic programming in the LF logical framework
- from Implementations
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 149-182
-
- Chapter
- Export citation
Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
- from Type Theory
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 280-306
-
- Chapter
- Export citation