5570 results in Programming Languages and Applied Logic
CHAPTER 15 - HYPERIMAGINARIES
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 101-108
-
- Chapter
- Export citation
CHAPTER 3 - Δ-TYPES AND THE LOCAL RANK D(π,Δ,k)
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 19-24
-
- Chapter
- Export citation
CHAPTER 17 - CANONICAL BASES REVISITED
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 121-130
-
- Chapter
- Export citation
CHAPTER 10 - THE INDEPENDENCE THEOREM
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 63-68
-
- Chapter
- Export citation
Simple Theories and Hyperimaginaries
-
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011
INDEX
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 167-169
-
- Chapter
- Export citation
CHAPTER 5 - INDEPENDENCE
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 31-36
-
- Chapter
- Export citation
CHAPTER 18 - ELIMINATION OF HYPERIMAGINARIES
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 131-142
-
- Chapter
- Export citation
CHAPTER 9 - LASCAR STRONG TYPES
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 53-62
-
- Chapter
- Export citation
CHAPTER 19 - ORTHOGONALITY AND ANALYSABILITY
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 143-152
-
- Chapter
- Export citation
Contents
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp v-vi
-
- Chapter
- Export citation
4 - Definability in classes of finite structures
-
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp 140-176
-
- Chapter
- Export citation
2 - Logical aspects of spatial databases
-
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp 77-108
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp i-iv
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp vii-xii
-
- Chapter
- Export citation
5 - Algorithmic meta-theorems
-
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp 177-270
-
- Chapter
- Export citation
1 - Automata-based presentations of infinite structures
-
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp 1-76
-
- Chapter
- Export citation
3 - Some connections between finite and infinite model theory
-
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp 109-139
-
- Chapter
- Export citation
Finite and Algorithmic Model Theory
-
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011
Bibliography
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp 339-341
-
- Chapter
- Export citation