Term-Rewriting Systems with Rule Priorities.

Jos C. M. Baeten Jan A. Bergstra Jan Willem Klop W. P. Weijland

Published in: Theor. Comput. Sci. (1989)

Keyphrases

term rewriting systems
functional programs
logic programs
association rules
software engineering
high level
knowledge representation
rule sets
active databases
high priority