Reckhow, "On the lengths of proofs in the propositional calculus (1974)

by Steven A Cook, Robert
Venue:Proc. Sixth ACM Symposium on Theory of Computing
Add To MetaCart
Results 1 - 1 of 1

Bounded Arithmetic

by Samuel R. Buss , 1986
"... ..."
Abstract - Cited by 64 (2 self) - Add to MetaCart
Abstract not found