Theories for Complexity Classes and their Propositional Translations (2004)

Cached

Download Links

by Stephen Cook
Venue:Complexity of computations and proofs
Citations:30 - 7 self