Decidable Compositions of O-Minimal Automata.

Alberto Casagrande Pietro Corvaja Carla Piazza Bud Mishra

Published in: ATVA (2008)

Keyphrases

automata theoretic
finite automata
cellular automata
first order logic
database systems
finite state machines
transitive closure
data mining
learning algorithm
website
special case
query language
temporal logic
regular expressions
finite state