Sign in

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

Olivier CartonThomas ColcombetGabriele 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