6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
6 - B-Trees
-
- Book:
- Basic Concepts in Data Structures
- Published online:
- 10 November 2016
- Print publication:
- 27 October 2016, pp 83-100
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811071/77895/cover/9781107177895.jpg)
Introduction to Coalgebra
- Towards Mathematics of States and Observation
-
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016
10 - Sorting
-
- Book:
- Basic Concepts in Data Structures
- Published online:
- 10 November 2016
- Print publication:
- 27 October 2016, pp 152-177
-
- Chapter
- Export citation
Subject Index
-
- Book:
- Introduction to Coalgebra
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016, pp 469-477
-
- Chapter
- Export citation
References
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 716-736
-
- Chapter
- Export citation
2 - Preliminaries and Background I
- from PART I - MODELS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 17-34
-
- Chapter
- Export citation
12 - Frameworks for Decision Procedures
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 467-475
-
- Chapter
- Export citation
5 - Basic Modal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 100-149
-
- Chapter
- Export citation
8 - The Modal Mu-Calculus
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 271-328
-
- Chapter
- Export citation
9 - Alternating-Time Temporal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 329-358
-
- Chapter
- Export citation
PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 83-84
-
- Chapter
- Export citation
PART I - MODELS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 15-16
-
- Chapter
- Export citation
14 - The Automata-Based Approach
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 543-624
-
- Chapter
- Export citation
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