5570 results in Programming Languages and Applied Logic
Best possible answer is computable for fuzzy SLD-resolution
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 257-266
-
- Chapter
- Export citation
Labelled deductive systems: a position paper
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 66-88
-
- Chapter
- Export citation
Index Of Definitions
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 126-127
-
- Chapter
- Export citation
Part B - Finitary Languages with Additional Quantifiers
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 121-122
-
- Chapter
- Export citation
Contents
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Preface
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-x
-
- Chapter
- Export citation
Chapter 1 - General Theory: Combinatorial Part
- from Part A - General Theory
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 19-42
-
- Chapter
- Export citation
Contents
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp xi-xiii
-
- Chapter
- Export citation
Convergence Laws for Random Graphs
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 115-133
-
- Chapter
- Export citation
Chapter XIV - The Construction of Many Nonisomorphic Models
- from Part D - The Number of Models
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 283-291
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
Simple groups definable in O-minimal structures
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 211-218
-
- Chapter
- Export citation
Sense and denotation as algorithm and value
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 210-249
-
- Chapter
- Export citation
Chapter IX - Atomic and Prime Models
- from Part B - Dependence and Prime Models
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 187-216
-
- Chapter
- Export citation
Contents
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp xi-xvi
-
- Chapter
- Export citation
Chapter XV - The Width of a Theory
- from Part D - The Number of Models
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 292-315
-
- Chapter
- Export citation
Part I - Invited Papers
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 1-2
-
- Chapter
- Export citation
19 - The Analytical Hierarchy
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 71-74
-
- Chapter
- Export citation
Chapter IX - Splitting, Density and Beyond
- from Part C - α-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 204-230
-
- Chapter
- Export citation
Chapter 4 - Finite Theories on Two Types
- from Part B - Finite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 90-106
-
- Chapter
- Export citation