Login / Signup
On Sufficient-Completeness and Related Properties of Term Rewriting Systems.
Deepak Kapur
Paliath Narendran
Hantao Zhang
Published in:
Acta Informatica (1987)
Keyphrases
</>
term rewriting systems
functional programs
logic programs
database