Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability

@inproceedings{Takai2000RightLinearFP,
  title={Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability},
  author={Toshinori Takai and Yuichi Kaji and Hiroyuki Seki},
  booktitle={RTA},
  year={2000}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…