Login / Signup
On Proving Uniform Termination and Restricted Termination of Rewriting Systems.
John V. Guttag
Deepak Kapur
David R. Musser
Published in:
SIAM J. Comput. (1983)
Keyphrases
</>
rewriting systems
term rewrite systems
object oriented
databases