On Proving Uniform Termination and Restricted Termination of Rewriting Systems

@article{Guttag1983OnPU,
  title={On Proving Uniform Termination and Restricted Termination of Rewriting Systems},
  author={John V. Guttag and Deepak Kapur and David R. Musser},
  journal={SIAM J. Comput.},
  year={1983},
  volume={12},
  pages={189-214}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…