6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
9 - Rewriting and Simplification
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 245-264
-
- Chapter
- Export citation
II - Program Size, Halting Probabilities, Randomness, & Metamathematics
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 91-91
-
- Chapter
- Export citation
3 - A Logic of Computable Functions
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 53-76
-
- Chapter
- Export citation
5 - Syntactic Operations for PPλ
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 139-162
-
- Chapter
- Export citation
5 - Conceptual Development
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 92-106
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp vii-x
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 289-295
-
- Chapter
- Export citation
Index
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 296-302
-
- Chapter
- Export citation
I - Formalisms for Computation: Register Machines, Exponential Diophantine Equations, & Pure LISP
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 6-6
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp i-vi
-
- Chapter
- Export citation
6 - Program Size
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 107-127
-
- Chapter
- Export citation
2 - The Arithmetization of Register Machines
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 7-50
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805216/16041/cover/9780521616041.jpg)
Algorithmic Information Theory
-
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987
II - Cambridge LCF
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 137-138
-
- Chapter
- Export citation
I - Preliminaries
-
- Book:
- Logic and Computation
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987, pp 1-2
-
- Chapter
- Export citation
Preface
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp ix-x
-
- Chapter
- Export citation
8 - Incompleteness
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 146-162
-
- Chapter
- Export citation
Figures
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp xi-xii
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805213/95601/cover/9780521395601.jpg)
Logic and Computation
- Interactive Proof with Cambridge LCF
-
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987
Bibliography
-
- Book:
- Algorithmic Information Theory
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987, pp 176-178
-
- Chapter
- Export citation