Descendants of a recognizable tree language for sets of linear monadic term rewrite rules.

Sándor Vágvölgyi

Published in: Inf. Process. Lett. (2006)

Keyphrases

rewrite rules
rewriting rules
tree structure
monadic second order logic
transformation rules
expressive power
query optimization
consistency constraints