The Sources of Certainty in Computation and Formal Systems (1999)

Cached

Download Links

by Michael J. O'donnell

Active Bibliography

The Sources of Certainty in Computation and Formal Systems – Michael Donnell The, Michael J. O'donnell
702 An Efficient Context-Free Parsing Algorithm – Jay Earley - 1970
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
323 Natural semantics – G. Kahn - 1987
243 On the Length of Programs for Computing Finite Binary Sequences – Gregory J. Chaitin - 1966
36 Computability and recursion – Robert I. Soare - 1996
212 A Basis for a Mathematical Theory of Computation – John Mccarthy - 1963
199 The Lambda Calculus – H P Barendregt - 1984
Contents Incomputability, Turing Functionals, and Open Computing – Robert I. Soare - 2008