5571 results in Programming Languages and Applied Logic
Preface
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp vii-viii
-
- Chapter
- Export citation
Appendix 1 - Definition of Problems
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 137-144
-
- Chapter
- Export citation
6 - Graph Decomposition
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 68-93
-
- Chapter
- Export citation
Subject index
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 155-158
-
- Chapter
- Export citation
Author index
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 153-154
-
- Chapter
- Export citation
8 - Non-Approximability
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 108-127
-
- Chapter
- Export citation
Contents
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp v-vi
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 1-11
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 145-152
-
- Chapter
- Export citation
9 - Syntactically Defined Classes
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 128-136
-
- Chapter
- Export citation
2 - Basic Concepts
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 12-31
-
- Chapter
- Export citation
Operationally-Based Theories of Program Equivalence
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 241-298
-
- Chapter
- Export citation
Index
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 355-364
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp ix-xii
-
- Chapter
- Export citation
Computational Content of Classical Logic Thierry Coquand
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 33-78
-
- Chapter
- Export citation
Metalanguages and Applications
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 185-240
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp i-iv
-
- Chapter
- Export citation
Game Semantics
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 131-184
-
- Chapter
- Export citation
Contents
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp v-vi
-
- Chapter
- Export citation
List of Contributors
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp vii-viii
-
- Chapter
- Export citation