The Undecidability of k-Provability (1989)

by Samuel R. Buss
Venue:Annals of Pure and Applied Logic
Citations:26 - 0 self

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
348 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979
597 Untersuchungen über das logische Schließen – G Gentzen - 1935
39 Bounds for proof-search and speed-up in the predicate calculus – R Statman - 1978
15 Proof Theory and Logical Complexity, volume 1 – Jean-Yves Girard - 1987
2429 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
2206 Noncommutative Geometry – Alain Connes - 1994
2966 New Directions in Cryptography – Whitfield Diffie, Martin E. Hellman - 1976
1153 Actors: A Model of Concurrent Computation in Distributed Systems – G Agha - 1986