5571 results in Programming Languages and Applied Logic
11 - Boolean Operations and Theories
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 138-148
-
- Chapter
- Export citation
10 - Operations on Theories
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 132-137
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 268-269
-
- Chapter
- Export citation
Part III - Explorations
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 201-202
-
- Chapter
- Export citation
Preface
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp xi-xvi
-
- Chapter
- Export citation
Answers to Selected Exercises
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 256-267
-
- Chapter
- Export citation
15 - Distributed Logics
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 182-194
-
- Chapter
- Export citation
8 - State Spaces
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 103-116
-
- Chapter
- Export citation
Part I - Introduction
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 1-2
-
- Chapter
- Export citation
2 - Information Channels: An Overview
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 26-49
-
- Chapter
- Export citation
Part II - Channel Theory
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 67-68
-
- Chapter
- Export citation
20 - Representation
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 235-242
-
- Chapter
- Export citation
18 - Vagueness
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 211-220
-
- Chapter
- Export citation
7 - Boolean Operations and Classifications
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 98-102
-
- Chapter
- Export citation
Paradigms for Fast Parallel Approximability
-
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997
Frontmatter
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp i-iv
-
- Chapter
- Export citation
7 - Further Parallel Approximations
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 94-107
-
- Chapter
- Export citation
5 - Primal-Dual Method
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 55-67
-
- Chapter
- Export citation
3 - Extremal Graph Properties
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 32-38
-
- Chapter
- Export citation
4 - Rounding, Interval Partitioning and Separation
-
- Book:
- Paradigms for Fast Parallel Approximability
- Published online:
- 19 March 2010
- Print publication:
- 10 July 1997, pp 39-54
-
- Chapter
- Export citation