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 - Sakabe - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2007-05-25 07:37:18 Open Document File Size: 124,55 KB Share Result on Facebook

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 4Add to Reading List