Sakabe - PDFSEARCH.IO - Document Search Engine

Sakabe
Results: 26

#	Item
1	Generation of Inverse Term Rewriting Systems for Pure Treeless Functions Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe Graduate School of Engineering, Nagoya University Furo-cho, Chikusa-ku, Nagoya, Japan ni Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Language: English - Date: 2003-11-17 04:50:19
2	Convergent Term Rewriting Systems for Inverse Computation of Injective Functions? Naoki Nishida, Masahiko Sakai, and Terutoshi Kato Graduate School of Information Science, Nagoya University Furo-cho, Chikusa-ku, Nagoya 4 Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Language: English - Date: 2007-05-25 07:37:18
3	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 Language: English - Date: 2006-08-31 04:14:05
4	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 Language: English - Date: 2004-11-14 23:15:00
5	On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems∗ Naoki Nishida†, Masahiko Sakai and Toshiki Sakabe Graduate School of Information Science, Nagoya University, Furo-cho, Chikusa-ku, Nago Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Language: English - Date: 2005-12-27 07:14:47
6	PDF Document Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Language: Japanese - Date: 2006-03-29 03:08:35
7	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 Language: English - Date: 2005-12-27 07:10:33
8	信学技報 TECHNICAL REPORT OF IEICE. 社団法人電子情報通信学会 THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Language: Japanese - Date: 2006-10-06 01:39:39
9	社団法人電子情報通信学会 THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS 信学技報 TECHNICAL REPORT OF IEICE. Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Language: Japanese - Date: 2006-10-03 01:18:26
10	WRSCompletion after Program Inversion of Injective Functions Naoki Nishida Add to Reading List Source URL: www.sakabe.nuie.nagoya-u.ac.jp Language: English - Date: 2009-11-01 21:19:08