Bottom-Up Tree Pushdown Automata and Rewrite Systems.

Jean-Luc Coquidé Max Dauchet Rémi Gilleron Sándor Vágvölgyi

Published in: RTA (1991)

Keyphrases

rewrite systems
term rewriting
tree automata
tree structure
quantifier free
active rules
knuth bendix
information systems
model checking
database