@article{oai:nagoya.repo.nii.ac.jp:00007656,
 author = {岡本, 晃治 and OKAMOTO, Koji and 酒井, 正彦 and SAKAI, Masahiko and 西田, 直樹 and NISHIDA, Naoki and 草刈, 圭一朗 and KUSAKARI, Keiichirou and 坂部, 俊樹 and SAKABE, Toshiki},
 journal = {京都大学数理解析研究所講究録},
 month = {Apr},
 note = {項書換え系(TRS) の書換え戦略は、与えられた任意の項に対してその戦略で全ての正規形に到達可能なとき、そのTRS の完全な書換え戦略であるという。本稿では、回内戦略を拡張した弱最内戦略を定義して、停止性を持ち右線形であるTRS に対して、弱勢内戦略が完全となる等価なTRS を得るためのTRS 等価変換の手法を提案する。},
 pages = {119--125},
 title = {弱最内戦略を完全にする項書換え系の等価交換},
 volume = {1426},
 year = {2005}
}