Transformational Approach to Inverse Computation in Term Rewriting January 2004 Naoki Nishida Graduate School of Engineering, Nagoya University - Sakabe - Document - PDFSEARCH.IO

First Page	Meta Content
	Transformational Approach to Inverse Computation in Term Rewriting January 2004 Naoki Nishida Graduate School of Engineering, Nagoya University Add to Reading List Document Date: 2004-11-14 23:15:00 Open Document File Size: 760,27 KB Share Result on Facebook

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