Return to search

紐解かれた項書換え系の文脈依存条件の除去のための変換

No description available.

1. http://hdl.handle.net/2237/9351
2. 1880-2818
3. 数理解析研究所講究録. v.1489, 2006, p.195-201

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