Collapsible Pushdown Automata and Recursion Schemes.

Matthew Hague Andrzej S. Murawski C.-H. Luke Ong Olivier Serre

Published in: LICS (2008)

Keyphrases

model checking
finite state machines
finite automata
finite state
complex objects
regular expressions
cellular automata
lattice gas
deductive databases
computer vision
relational databases
expert systems
database systems
case study
information systems
transitive closure
probabilistic automata
data mining