5570 results in Programming Languages and Applied Logic
Preface
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp ix-xii
-
- Chapter
- Export citation
Index
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 197-199
-
- Chapter
- Export citation
9 - Automatic generation of symbolic traces
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 95-108
-
- Chapter
- Export citation
8 - Discussion
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 87-94
-
- Chapter
- Export citation
Appendix B - Logico-mathematical background
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 169-192
-
- Chapter
- Export citation
PART 2 - INDEPENDENCE IN ACVF
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 67-68
-
- Chapter
- Export citation
INDEX
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 181-182
-
- Chapter
- Export citation
PREFACE
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp ix-xii
-
- Chapter
- Export citation
Constructive set theory with operations
-
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp 47-83
-
- Chapter
- Export citation
CHAPTER 2 - SOME BACKGROUND ON STABILITY THEORY
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 13-26
-
- Chapter
- Export citation
CHAPTER 5 - A COMBINATORIAL LEMMA
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 53-58
-
- Chapter
- Export citation
CHAPTER 10 - TYPES ORTHOGONAL TO г
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 103-114
-
- Chapter
- Export citation
Abstract elementary classes: some answers, more questions
-
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp 1-17
-
- Chapter
- Export citation
CHAPTER 7 - SOME BACKGROUND ON ALGEBRAICALLY CLOSED VALUED FIELDS
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 69-86
-
- Chapter
- Export citation
REFERENCES
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 177-180
-
- Chapter
- Export citation
Constructible sheaves and definability
-
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp 187-196
-
- Chapter
- Export citation
Speakers and Titles
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp xi-xii
-
- Chapter
- Export citation
CHAPTER 12 - MAXIMALLY COMPLETE FIELDS AND DOMINATION
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 123-136
-
- Chapter
- Export citation
An overview of modern universal algebra
-
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp 197-220
-
- Chapter
- Export citation
Parametrized local zeta functions
-
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp 84-92
-
- Chapter
- Export citation