5570 results in Programming Languages and Applied Logic
11 - Computational Complexity
- from PART III - PROPERTIES
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 419-464
-
- Chapter
- Export citation
PART III - PROPERTIES
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 359-360
-
- Chapter
- Export citation
6 - Linear-Time Temporal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 150-208
-
- Chapter
- Export citation
13 - Tableaux-Based Decision Methods
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 476-542
-
- Chapter
- Export citation
7 - Branching-Time Temporal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 209-270
-
- Chapter
- Export citation
PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 465-466
-
- Chapter
- Export citation
10 - Expressiveness
- from PART III - PROPERTIES
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 361-418
-
- Chapter
- Export citation
3 - Transition Systems
- from PART I - MODELS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 35-82
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 1-14
-
- Chapter
- Export citation
4 - Preliminaries and Background II
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 85-99
-
- Chapter
- Export citation
Index
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 737-744
-
- Chapter
- Export citation
Contents
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp v-viii
-
- Chapter
- Export citation
Temporal Logics in Computer Science
- Finite-State Systems
-
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016
15 - The Game-Theoretic Framework
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 625-715
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp i-iv
-
- Chapter
- Export citation
11 - Unbeatable tic-tac-toe
- from Part II - Going Further
-
- Book:
- Programming in Haskell
- Published online:
- 28 May 2018
- Print publication:
- 01 September 2016, pp 139-152
-
- Chapter
- Export citation
7 - Higher-order functions
- from Part I - Basic Concepts
-
- Book:
- Programming in Haskell
- Published online:
- 28 May 2018
- Print publication:
- 01 September 2016, pp 73-91
-
- Chapter
- Export citation
13 - Monadic parsing
- from Part II - Going Further
-
- Book:
- Programming in Haskell
- Published online:
- 28 May 2018
- Print publication:
- 01 September 2016, pp 177-195
-
- Chapter
- Export citation
9 - The countdown problem
- from Part I - Basic Concepts
-
- Book:
- Programming in Haskell
- Published online:
- 28 May 2018
- Print publication:
- 01 September 2016, pp 111-120
-
- Chapter
- Export citation
Index
-
- Book:
- Programming in Haskell
- Published online:
- 28 May 2018
- Print publication:
- 01 September 2016, pp 300-304
-
- Chapter
- Export citation