5570 results in Programming Languages and Applied Logic
A Logical Approach to Complexity Bounds for Subtype Inequalities
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 195-204
-
- Chapter
- Export citation
K-graph Machines: generalizing Turing's machines and arguments
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 98-119
-
- Chapter
- Export citation
References
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 125-125
-
- Chapter
- Export citation
Part D - Second-Order Logic
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 443-444
-
- Chapter
- Export citation
Chapter X - Freeness and Isolation
- from Part B - Dependence and Prime Models
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 217-232
-
- Chapter
- Export citation
Model-Theoretic Logics
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
3 - The Invariants
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 79-96
-
- Chapter
- Export citation
Chapter III - Predicates of Reals
- from Part A - Hyperarithmetic Sets
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 52-87
-
- Chapter
- Export citation
Introduction
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-5
-
- Chapter
- Export citation
References
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 209-216
-
- Chapter
- Export citation
Absoluteness for projective sets
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 145-154
-
- Chapter
- Export citation
Chapter II - Fragments and Combinatorics
- from PART A
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 111-144
-
- Chapter
- Export citation
Part C - Local Dimension Theory
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 233-234
-
- Chapter
- Export citation
12 - Iterability
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 108-124
-
- Chapter
- Export citation
8 - Embeddings of K
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 73-88
-
- Chapter
- Export citation
Chapter III - Characterizing Logics
- from Part A - Introduction, Basic Theory and Examples
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 77-120
-
- Chapter
- Export citation
On complete filters
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 62-65
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 399-436
-
- Chapter
- Export citation
Chapter VIII - Normalization and Teq
- from Part A - Independence
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 170-184
-
- Chapter
- Export citation
Contents
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation