Dependency Graph Method for Proving Termination of Narrowing ? Naoki Nishida and Koichi Miura Graduate School of Information Science, Nagoya University, Nagoya, Japan - Sakabe - Document - PDFSEARCH.IO

First Page	Meta Content
	Dependency Graph Method for Proving Termination of Narrowing ? Naoki Nishida and Koichi Miura Graduate School of Information Science, Nagoya University, Nagoya, Japan Add to Reading List Document Date: 2006-08-31 04:14:05 Open Document File Size: 84,37 KB Share Result on Facebook

Dependency Graph Method for Proving Termination of Narrowing ? Naoki Nishida and Koichi Miura Graduate School of Information Science, Nagoya University, Nagoya, Japan Add to Reading List