Effectivizing Inseparability (1991)

Cached

Download Links

by John Case , Effectivizing Inseparability
Citations:2 - 0 self

Documents Related by Co-Citation

941 Theory of Recursive Functions and Effective Computability – H Rogers - 1967
2643 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
562 The complexity of theorem proving procedures – S Cook - 1971
480 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 37:349–360 – Kurt Gödel - 1931
179 The Emperor’s New Mind: Concerning Computers, Minds, and the Laws of Physics – R Penrose - 2002
146 Complexity measures for public-key cryptosystems – Joachim Grollmann, Lehrstuhl Informatik I - 1988
119 Gap-definable counting classes – S A Fenner, L Fortnow, S A Kurtz - 1991
88 A mathematical incompleteness in Peano arithmetic – J Paris, L Harrington - 1977
88 Classes of recursively enumerable sets and their decision problems – H G Rice - 1953