Reduction Strategies for Left-Linear Term Rewriting Systems.

Yoshihito Toyama

Published in: Processes, Terms and Cycles (2005)

Keyphrases

term rewriting systems
functional programs
data structure
software engineering
linear systems
machine learning
data warehouse
general purpose
closed form