Lower complexity bounds in justification logic.

Samuel R. Buss Roman Kuznets

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

lower complexity
low complexity
data complexity
lower bound
expressive power
computational complexity
databases
computer vision
three dimensional
database systems
query answering
conjunctive queries