Login / Signup
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas.
Simone Bova
Hubie Chen
Matthew Valeriote
Published in:
Theory Comput. Syst. (2012)
Keyphrases
</>
positive and negative
database
computational complexity
worst case
space complexity
knowledge base
high level
face recognition
search algorithm
graph theory
complexity analysis