5570 results in Programming Languages and Applied Logic
Index
-
- Book:
- Graph Structure and Monadic Second-Order Logic
- Published online:
- 05 July 2012
- Print publication:
- 14 June 2012, pp 721-728
-
- Chapter
- Export citation
9 - Implementing Proof Systems
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 229-246
-
- Chapter
- Export citation
Contents
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp vii-x
-
- Chapter
- Export citation
8 - Unification of λ-Terms
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 211-228
-
- Chapter
- Export citation
Index
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 301-306
-
- Chapter
- Export citation
1 - First-Order Terms and Representations of Data
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 10-33
-
- Chapter
- Export citation
6 - Mechanisms for Structuring Large Programs
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 150-174
-
- Chapter
- Export citation
3 - First-Order Hereditary Harrop Formulas
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 75-95
-
- Chapter
- Export citation
Programming with Higher-Order Logic
-
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012
Frontmatter
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp i-vi
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 289-300
-
- Chapter
- Export citation
Introduction
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 1-9
-
- Chapter
- Export citation
Appendix - The Teyjus System
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 277-288
-
- Chapter
- Export citation
2 - First-Order Horn Clauses
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 34-74
-
- Chapter
- Export citation
Preface
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp xi-xiv
-
- Chapter
- Export citation
11 - Encoding a Process Calculus Language
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 261-276
-
- Chapter
- Export citation
4 - Typed λ-Terms and Formulas
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 96-117
-
- Chapter
- Export citation
7 - Computations over λ-Terms
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 175-210
-
- Chapter
- Export citation
10 - Computations over Functional Programs
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 247-260
-
- Chapter
- Export citation
5 - Using Quantification at Higher-Order Types
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 118-149
-
- Chapter
- Export citation