From Hypocomputation to Hypercomputation (2008)

View PDF

Download Links

by David Love

Active Bibliography

1096 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
940 The Concept of a Linguistic Variable and its Application to Approximate Reasoning – L. A. Zadeh - 1975
518 Enforceable Security Policies – Fred B. Schneider
830 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
941 Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer – Peter W. Shor - 1997
428 Simulating Physics with Computers – Richard Feynman, Peter W. Shor - 1982
378 Value-Based Software Engineering – Barry W. Boehm - 2003
13 Physical Hypercomputation and the Church–Turing Thesis – Oron Shagrir, et al. - 2003
243 On the Length of Programs for Computing Finite Binary Sequences – Gregory J. Chaitin - 1966