変換と部分評価に基づく非左辺正規なメタ項の停止性証明

No description available.

1. http://hdl.handle.net/2237/9359
2. http://hdl.handle.net/2433/47266
3. 京都大学数理解析研究所講究録. v.1426, 2005, p.113-118

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/9359
Date	04 1900
Creators	蛸島, 洋明, TAKOJIMA, Hiroaki, 酒井, 正彦, SAKAI, Masahiko, 坂部, 俊樹, SAKABE, Toshiki, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou
Publisher	京都大学数理解析研究所
Source Sets	Nagoya University
Language	Japanese
Detected Language	Japanese
Type	Bulletin