Quantified Propositional Calculus and a Second-Order Theory for NC¹ (2004)

Cached

Download Links

by Stephen Cook , Tsuyoshi Morioka
Citations:9 - 2 self