Login / Signup
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems.
Bernhard Gramlich
Published in:
LPAR (1992)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
databases
term rewriting
rewrite systems
high level
database systems
logic programming
modular structure