A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata.

Zoltán Fülöp Sándor Vágvölgyi

Published in: ALP (1988)

Keyphrases

tree automata
term rewriting systems
finite automata
regular expressions
finite state
functional programs
logic programs
tree languages
finite automaton
database
query processing
data warehouse
programming language