Update: Feb 17, 2006
Full and Revised Version of the Proceeding for RTA'05
Partial Inversion of Constructor Term Rewriting Systems
Naoki Nishida,
Masahiko Sakai and
Toshiki Sakabe
In Proceedings of the 16th International Conference on Rewriting
Techniques and Applications (RTA'05),
LNCS 3467, pp.264-278, Springer, 2005.
If page not found then please type the URL below.
http://www.trs.css.i.nagoya-u.ac.jp/~nishida/DB/pdf/nishida05rta-full.pdf
We found a trivial bug in Theorem 9 in p.272.
In the full version of the manuscript available above,
we have revised that bug.
Naoki Nishida
Graduate School of Information Science, Nagoya University
Furo-cho, Chikusa-ku, Nagoya 464-8603, JAPAN
Phone: +81-52-789-5141
Fax : +81-52-789-3816
E-mail: nishida @ is.nagoya-u.ac.jp
Sakai Lab.
Graduate School
of Informatics
Dept. of Information Engineering
Graduate School/School of Engineering
Nagoya
University