Login / Signup
Short Propositional Formulas Represent Nondeterministic Computations.
Stephen A. Cook
Published in:
Inf. Process. Lett. (1988)
Keyphrases
</>
propositional formulas
propositional logic
industrial applications
database systems