The Complexity of Monadic Second-Order Unification.

Jordi Levy Manfred Schmidt-Schauß Mateu Villaret

Published in: SIAM J. Comput. (2008)

Keyphrases

higher order
deductive databases
computational complexity
space complexity
knowledge base
evolutionary algorithm
worst case
decision problems
data mining
computer vision
multiscale
computational cost
theorem proving
high computational complexity
datalog queries