An Algebraic Approach to MSO-Definability on Countable linear Orderings.

Olivier Carton Thomas Colcombet Gabriele Puppis

Published in: J. Symb. Log. (2018)

Keyphrases

propositional logic
databases
fixed point
database
markov chain
real time
neural network
bayesian networks
multiscale
closed form
regular expressions