Login / Signup
MSO+nabla is undecidable.
Mikolaj Bojanczyk
Edon Kelmendi
Michal Skrzypczak
Published in:
CoRR (2019)
Keyphrases
</>
sufficient conditions
finite state
np complete
gradient vector
regular expressions
machine learning
data sets
reinforcement learning
hidden markov models
scale space
markov chain
image processing
edge detector
neural network
datalog programs
query containment
tree automata