Transformational Approach to Inverse Computation in Term Rewriting January 2004 Naoki Nishida Graduate School of Engineering, Nagoya University

First Page		Document Content
Date: 2004-11-14 23:15:00		Transformational Approach to Inverse Computation in Term Rewriting January 2004 Naoki Nishida Graduate School of Engineering, Nagoya University Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Download Document from Source Website File Size: 760,27 KB Share Document on Facebook