Login / Signup
Strong Normalization of Typeable Rewrite Systems.
Steffen van Bakel
Maribel Fernández
Published in:
HOA (1993)
Keyphrases
</>
rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
data structure
database systems
programming language