Undecidability of a weak version of MSO+U.

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

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

description logics
regular expressions
information systems
data sets
neural network
database systems
dynamic programming
finite state