Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Koji OKAMOTO 's Home Page
last update : 2004.9.3 Japanese/English
岡本晃治 :
合流性を持たないTRSの計算戦略に関する研究,
卒業論文,
2003.2
[
Postscript ,
PDF
]
M.Sakai, K.Okamoto, T.Sakabe :
"Innermost Reductions Find All Normal Forms on Right-Linear Termination Overlay TRSs",
Proc. of 3rd Int'l Workshop on Reduction Strategies in Rewriting and Programming(WRS03),
pp.79-88,
2003.6
[
Postscript ,
PDF
]