Unified Analysis of Collapsible and Ordered Pushdown Automata via Term Rewriting.

Lorenzo Clemente

Published in: CoRR (2014)

Keyphrases

term rewriting
database
artificial intelligence
data analysis
expert systems
training set
cellular automata
model checking