Based on Tableaux and Automata.

Oliver Friedmann Markus Latte Martin Lange

Published in: IJCAR (2010)

Keyphrases

cellular automata
modal logic
functional dependencies
decision procedures
tree automata
finite state
probabilistic automata
regular expressions
lattice gas
neural network
finite automata
finite state automata
database
real time
data mining
formal language theory