5570 results in Programming Languages and Applied Logic
Chapter 3 - Descriptive complexity
- from Part 1 - The basic theory
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 40-93
-
- Chapter
- Export citation
Chapter 15 - Almost-embeddable graphs
- from Part 2 - Definable decompositions of graphs with excluded minors
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 393-437
-
- Chapter
- Export citation
Chapter 12 - Completions of pre-decompositions
- from Part 2 - Definable decompositions of graphs with excluded minors
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 277-300
-
- Chapter
- Export citation
Chapter 11 - K5-minor-free graphs
- from Part 2 - Definable decompositions of graphs with excluded minors
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 272-276
-
- Chapter
- Export citation
Chapter 17 - Graphs with excluded minors
- from Part 2 - Definable decompositions of graphs with excluded minors
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 487-501
-
- Chapter
- Export citation
Chapter 18 - Bits and pieces
- from Part 2 - Definable decompositions of graphs with excluded minors
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 502-517
-
- Chapter
- Export citation
References
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 523-530
-
- Chapter
- Export citation
Chapter 1 - Introduction
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 1-12
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp i-iv
-
- Chapter
- Export citation
Chapter 6 - Graphs of bounded tree width
- from Part 1 - The basic theory
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 148-154
-
- Chapter
- Export citation
Chapter 14 - Almost planar completions
- from Part 2 - Definable decompositions of graphs with excluded minors
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 361-392
-
- Chapter
- Export citation
Preface
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp ix-x
-
- Chapter
- Export citation
Symbol index
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 531-534
-
- Chapter
- Export citation
Part 1 - The basic theory
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 13-13
-
- Chapter
- Export citation
Chapter 2 - Background from graph theory and logic
- from Part 1 - The basic theory
-
- Book:
- Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
- Published online:
- 30 August 2017
- Print publication:
- 17 August 2017, pp 14-39
-
- Chapter
- Export citation
19 - Hereditarily countable sets
- from II - Analytic sets
-
- Book:
- Descriptive Set Theory and Forcing
- Published online:
- 24 March 2017
- Print publication:
- 18 May 2017, pp 72-73
-
- Chapter
- Export citation
References
-
- Book:
- Descriptive Set Theory and Forcing
- Published online:
- 24 March 2017
- Print publication:
- 18 May 2017, pp 121-127
-
- Chapter
- Export citation
2 - Borel Hierarchy
- from I - On the length of Borel hierarchies
-
- Book:
- Descriptive Set Theory and Forcing
- Published online:
- 24 March 2017
- Print publication:
- 18 May 2017, pp 7-10
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Descriptive Set Theory and Forcing
- Published online:
- 24 March 2017
- Print publication:
- 18 May 2017, pp i-vi
-
- Chapter
- Export citation
14 - Cohen real model
- from I - On the length of Borel hierarchies
-
- Book:
- Descriptive Set Theory and Forcing
- Published online:
- 24 March 2017
- Print publication:
- 18 May 2017, pp 46-56
-
- Chapter
- Export citation