5571 results in Programming Languages and Applied Logic
Axioms for subrecursion theories
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 123-138
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp i-iv
-
- Chapter
- Export citation
Dynamic properties of computably enumerable sets
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 105-122
-
- Chapter
- Export citation
Inductive inference of total functions
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 259-288
-
- Chapter
- Export citation
APPENDIX: Questions in Recursion Theory
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 333-347
-
- Chapter
- Export citation
Extension of embeddings on the recursively enumerable degrees modulo the cappable degrees
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 313-332
-
- Chapter
- Export citation
Relativization of structures arising from computability theory
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 219-232
-
- Chapter
- Export citation
A characterisation of the jumps of minimal degrees below 0′
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 81-92
-
- Chapter
- Export citation
The Medvedev lattice of degrees of difficulty
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 289-312
-
- Chapter
- Export citation
Array nonrecursive degrees and genericity
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 93-104
-
- Chapter
- Export citation
On a question of Brown and Simpson
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 205-218
-
- Chapter
- Export citation
Degrees of generic sets
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 167-184
-
- Chapter
- Export citation
Embeddings into the recursively enumerable degrees
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 185-204
-
- Chapter
- Export citation
Computability, Enumerability, Unsolvability
- Directions in Recursion Theory
-
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996
Contents
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp v-vi
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp vii-viii
-
- Chapter
- Export citation
3 - KNOWLEDGE AND IGNORANCE
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 113-158
-
- Chapter
- Export citation
4 - DEFAULT REASONING BY EPISTEMIC LOGIC
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp 159-210
-
- Chapter
- Export citation
PREFACE
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp xi-xiv
-
- Chapter
- Export citation
Contents
-
- Book:
- Epistemic Logic for AI and Computer Science
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995, pp vii-x
-
- Chapter
- Export citation