Decidable Extensions of MSO.

Mikolaj Bojanczyk

Published in: MFCS (2016)

Keyphrases

monadic second order logic
first order logic
regular expressions
efficient implementation
real time
data sets
databases
machine learning
genetic algorithm
database systems
search algorithm
expert systems