Login / Signup
Normalization Properties of Typeable Term Rewriting Systems (Abstract).
Steffen van Bakel
Maribel Fernández
Published in:
UNIF (1995)
Keyphrases
</>
term rewriting systems
desirable properties
functional programs
high level
logic programs
higher level
low level
database applications
first order logic