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
2206 Noncommutative Geometry – Alain Connes - 1994
2429 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
2966 New Directions in Cryptography – Whitfield Diffie, Martin E. Hellman - 1976
669 Light Linear Logic – Jean-yves Girard
1153 Actors: A Model of Concurrent Computation in Distributed Systems – G Agha - 1986
1612 Foundations of Databases – S Abiteboul, R Hull, V Vianu - 1995