Well Rewrite Orderings and Well Quasi-Orderings.

Pierre Lescanne

Published in: J. Symb. Comput. (1992)

Keyphrases

real world
high level
special case
database
metadata
website
data analysis
expert systems
rewrite rules