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

researchr

You are not signed in
Sign in
Sign up

Toshinori Takai, Yuichi Kaji, Hiroyuki Seki. Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. In Leo Bachmair, editor, Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings. Volume 1833 of Lecture Notes in Computer Science, pages 246-260, Springer, 2000.

This author has not been identified. Look up 'Toshinori Takai' in GoogleThis author has not been identified. Look up 'Yuichi Kaji' in GoogleThis author has not been identified. Look up 'Hiroyuki Seki' in Google

runs on WebDSL