Undecidability of MSO+"ultimately periodic".

Mikolaj Bojanczyk Laure Daviaud Bruno Guillon Vincent Penelle A. V. Sreejith

Published in: CoRR (2018)

Keyphrases

description logics
regular expressions
finite state
data sets
data streams
tree automata
databases
artificial intelligence
probabilistic model
information extraction
query containment
probabilistic planning