The Unification Problem for Confluent Right-Ground Term Rewriting Systems

@inproceedings{Oyamaguchi2001TheUP,
  title={The Unification Problem for Confluent Right-Ground Term Rewriting Systems},
  author={Michio Oyamaguchi and Yoshikatsu Ohta},
  booktitle={RTA},
  year={2001}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…