On the Quantifier-Free Dynamic Complexity of Reachability.

Thomas Zeume Thomas Schwentick

Published in: MFCS (2013)

Keyphrases

computational complexity
query language
quantifier free
quantifier elimination
rewrite systems
database
databases
state space