External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

How to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus

Pavel Pudlák, Samuel R. Buss. How to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus. In Leszek Pacholski, Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Volume 933 of Lecture Notes in Computer Science, pages 151-162, Springer, 1994.

Abstract

Abstract is missing.

runs on