Hierarchy of piecewise-testable languages and complexity of the two-variable logic of subsequences.

Prateek Karandikar Philippe Schnoebelen

Published in: CoRR (2015)

Keyphrases

language independent
neural network
formal language
worst case
classical logic
logic programming
expressive power
modal logic
pspace complete
predicate logic
piecewise linear
space complexity
lower level
dynamic time warping
decision problems
higher level
np hard
similarity measure
high level