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

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

Bibliographic Details
Main Authors: 岡本, 晃治, OKAMOTO, Koji, 酒井, 正彦, SAKAI, Masahiko, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou, 坂部, 俊樹, SAKABE, Toshiki
Language:ja
Published: 京都大学数理解析研究所 2005
Subjects:
項書換え系
書換え戦略
TRS変換
弱最内戦略
Online Access:http://hdl.handle.net/2237/9360
http://hdl.handle.net/2433/47268

Internet

http://hdl.handle.net/2237/9360
http://hdl.handle.net/2433/47268

Similar Items