Complexity of Two-Variable Logic with Counting.

Leszek Pacholski Wieslaw Szwast Lidia Tendera

Published in: LICS (1997)

Keyphrases

automated reasoning
computational complexity
databases
computational cost
worst case
data mining
decision problems
complexity analysis