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
Produced by N.Nishida (nishida @ i.nagoya-u.ac.jp)