Automata on ordinals and automaticity of linear orders.

Philipp Schlicht Frank Stephan

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

knuth bendix
linear model
cellular automata
closed form
linear complexity
finite automata
databases
real world
bayesian networks
linear constraints
probabilistic automata