Login / Signup
A Complexity Theory Based on Boolean Algebra
Sven Skyum
Leslie G. Valiant
Published in:
J. ACM (1985)
Keyphrases
</>
complexity theory
boolean algebra
theoretical basis
computational geometry
constraint query languages
cardinality constraints
theorem prover
set theory