Approximation and Normalization Results for Typeable Term Rewriting Systems.

Steffen van Bakel Maribel Fernández

Published in: HOA (1995)

Keyphrases

term rewriting systems
functional programs
logic programs
approximation algorithms
error bounds
preprocessing
np hard
closed form