IEICE Technical Committee Submission System
Download Link
Online Proceedings
[Sign in]
Tech. Rep. Archives
Go Top Page
Go Previous
[Japanese]
/
[English]
PDF Download Link
Presentation
2006-04-20 16:10
Proving Termination of Higher-Order Rewrite Systems based on Strongly Computable Dependency Pair Method
Yasuo Isogai
,
Keiichirou Kusakari
,
Masahiko Sakai
,
Toshiki Sakabe
,
Naoki Nishida
(
Nagoya Univ.
)
PDF Download Link
Please login to
the IEICE Technical Committee Online System (in Japanese)
.
[Return to Top Page]
[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan