December 27, 2005 Partial Inversion of Constructor Term Rewriting Systems ? Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe Graduate School of Information Science, Nagoya University

First Page		Document Content
Date: 2005-12-27 07:10:33		December 27, 2005 Partial Inversion of Constructor Term Rewriting Systems ? Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe Graduate School of Information Science, Nagoya University Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Download Document from Source Website File Size: 226,59 KB Share Document on Facebook