6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
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
![](https://assets.cambridge.org/97811070/28364/cover/9781107028364.jpg)
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
Saturated Subgraphs of the Hypercube
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 26 / Issue 1 / January 2017
- Published online by Cambridge University Press:
- 19 September 2016, pp. 52-67
-
- Article
- Export citation
A Sequence of Triangle-Free Pseudorandom Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 26 / Issue 2 / March 2017
- Published online by Cambridge University Press:
- 13 September 2016, pp. 195-200
-
- Article
- Export citation
On the Chromatic Number of Random Cayley Graphs
- Part of
-
- Journal:
- Combinatorics, Probability and Computing / Volume 26 / Issue 2 / March 2017
- Published online by Cambridge University Press:
- 09 September 2016, pp. 248-266
-
- Article
- Export citation
Frontmatter
-
- Book:
- Compact Data Structures
- Published online:
- 05 September 2016
- Print publication:
- 08 September 2016, pp i-iv
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Compact Data Structures
- Published online:
- 05 September 2016
- Print publication:
- 08 September 2016, pp xix-xx
-
- Chapter
- Export citation
Contents
-
- Book:
- Compact Data Structures
- Published online:
- 05 September 2016
- Print publication:
- 08 September 2016, pp vii-xii
-
- Chapter
- Export citation
10 - Grids
-
- Book:
- Compact Data Structures
- Published online:
- 05 September 2016
- Print publication:
- 08 September 2016, pp 347-394
-
- Chapter
- Export citation
Index
-
- Book:
- Compact Data Structures
- Published online:
- 05 September 2016
- Print publication:
- 08 September 2016, pp 549-553
-
- Chapter
- Export citation
13 - Recent Trends
-
- Book:
- Compact Data Structures
- Published online:
- 05 September 2016
- Print publication:
- 08 September 2016, pp 501-548
-
- Chapter
- Export citation
5 - Permutations
-
- Book:
- Compact Data Structures
- Published online:
- 05 September 2016
- Print publication:
- 08 September 2016, pp 103-119
-
- Chapter
- Export citation
7 - Parentheses
-
- Book:
- Compact Data Structures
- Published online:
- 05 September 2016
- Print publication:
- 08 September 2016, pp 167-210
-
- Chapter
- Export citation
List of Algorithms
-
- Book:
- Compact Data Structures
- Published online:
- 05 September 2016
- Print publication:
- 08 September 2016, pp xiii-xvi
-
- Chapter
- Export citation