MSO+∇ is undecidable.

Mikolaj Bojanczyk Edon Kelmendi Michal Skrzypczak

Published in: LICS (2019)

Keyphrases

sufficient conditions
regular expressions
finite state
np complete
datalog programs
data sets
state space
query containment
case study
text classification