On the Lengths of Proofs in the Propositional Calculus (Preliminary Version) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stephen A. Cook, Robert A. Reckhow. On the Lengths of Proofs in the Propositional Calculus (Preliminary Version). In Conference Record of Sixth Annual ACM Symposium on Theory of Computing, 30 April-2 May 1974, Seattle, Washington, USA. pages 135-148, ACM, 1974.

This author has not been identified. Look up 'Stephen A. Cook' in GoogleThis author has not been identified. Look up 'Robert A. Reckhow' in Google

runs on WebDSL