Derivation Trees of Ground Term Rewriting Systems.

Joost Engelfriet

Published in: Inf. Comput. (1999)

Keyphrases

term rewriting systems
functional programs
logic programs
decision trees
definite clause
management system
object oriented
general purpose
tree structure
tree structures