Return to search

弱最内戦略を完全にする項書換え系の等価交換

No description available.

1. http://hdl.handle.net/2237/9360
2. http://hdl.handle.net/2433/47268
3. 1880-2818
4. 京都大学数理解析研究所講究録. v.1426, 2005, p.119-125

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