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

First Page		Document Content
Date: 2006-08-31 04:14:05		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 Source URL: www.sakabe.nuie.nagoya-u.ac.jp Download Document from Source Website File Size: 84,37 KB Share Document on Facebook