Convergent Term Rewriting Systems for Inverse Computation of Injective Functions? Naoki Nishida, Masahiko Sakai, and Terutoshi Kato Graduate School of Information Science, Nagoya University Furo-cho, Chikusa-ku, Nagoya 4

First Page		Document Content
Date: 2007-05-25 07:37:18		Convergent Term Rewriting Systems for Inverse Computation of Injective Functions? Naoki Nishida, Masahiko Sakai, and Terutoshi Kato Graduate School of Information Science, Nagoya University Furo-cho, Chikusa-ku, Nagoya 4 Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Download Document from Source Website File Size: 124,55 KB Share Document on Facebook