5570 results in Programming Languages and Applied Logic
Chapter 7 - Finite-Injury Constructions
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 97-114
-
- Chapter
- Export citation
Chapter 4 - Generic Presentations
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 51-62
-
- Chapter
- Export citation
Chapter 6 - Comparing Structures and Classes of Structures
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 75-96
-
- Chapter
- Export citation
Chapter 3 - Existentially-Atomic Models
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 33-50
-
- Chapter
- Export citation
Chapter 8 - Computable Categoricity
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 115-136
-
- Chapter
- Export citation
Chapter 1 - Structures
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 1-10
-
- Chapter
- Export citation
Preface
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp ix-xii
-
- Chapter
- Export citation
Index
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 187-190
-
- Chapter
- Export citation
Notation and Conventions
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp xiii-xxii
-
- Chapter
- Export citation
Chapter 2 - Relations
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 11-32
-
- Chapter
- Export citation
Dedication
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp v-vi
-
- Chapter
- Export citation
Chapter 5 - Degree Spectra
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 63-74
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 177-186
-
- Chapter
- Export citation
Chapter 9 - The Jump of A Structure
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 137-148
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp i-iv
-
- Chapter
- Export citation
Chapter 10 - Σ-Small Classes
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 149-176
-
- Chapter
- Export citation
Contents
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp vii-viii
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811084/23298/cover/9781108423298.jpg)
Computable Structure Theory
- Within the Arithmetic
-
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021
Contents
-
- Book:
- Complexity of Infinite-Domain Constraint Satisfaction
- Published online:
- 28 May 2021
- Print publication:
- 10 June 2021, pp v-viii
-
- Chapter
- Export citation
Chapter 5 - Examples
-
- Book:
- Complexity of Infinite-Domain Constraint Satisfaction
- Published online:
- 28 May 2021
- Print publication:
- 10 June 2021, pp 151-170
-
- Chapter
- Export citation