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

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

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
id ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-9360
record_format oai_dc
spelling ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-93602013-07-13T03:23:44Z弱最内戦略を完全にする項書換え系の等価交換岡本, 晃治OKAMOTO, Koji酒井, 正彦SAKAI, Masahiko西田, 直樹NISHIDA, Naoki草刈, 圭一朗KUSAKARI, Keiichirou坂部, 俊樹SAKABE, Toshiki項書換え系書換え戦略TRS変換弱最内戦略京都大学数理解析研究所2005-04Bulletinhttp://hdl.handle.net/2237/9360http://hdl.handle.net/2433/472681880-2818京都大学数理解析研究所講究録. v.1426, 2005, p.119-125ja
collection NDLTD
language ja
sources NDLTD
topic 項書換え系
書換え戦略
TRS変換
弱最内戦略
spellingShingle 項書換え系
書換え戦略
TRS変換
弱最内戦略
岡本, 晃治
OKAMOTO, Koji
酒井, 正彦
SAKAI, Masahiko
西田, 直樹
NISHIDA, Naoki
草刈, 圭一朗
KUSAKARI, Keiichirou
坂部, 俊樹
SAKABE, Toshiki
弱最内戦略を完全にする項書換え系の等価交換
author 岡本, 晃治
OKAMOTO, Koji
酒井, 正彦
SAKAI, Masahiko
西田, 直樹
NISHIDA, Naoki
草刈, 圭一朗
KUSAKARI, Keiichirou
坂部, 俊樹
SAKABE, Toshiki
author_facet 岡本, 晃治
OKAMOTO, Koji
酒井, 正彦
SAKAI, Masahiko
西田, 直樹
NISHIDA, Naoki
草刈, 圭一朗
KUSAKARI, Keiichirou
坂部, 俊樹
SAKABE, Toshiki
author_sort 岡本, 晃治
title 弱最内戦略を完全にする項書換え系の等価交換
title_short 弱最内戦略を完全にする項書換え系の等価交換
title_full 弱最内戦略を完全にする項書換え系の等価交換
title_fullStr 弱最内戦略を完全にする項書換え系の等価交換
title_full_unstemmed 弱最内戦略を完全にする項書換え系の等価交換
title_sort 弱最内戦略を完全にする項書換え系の等価交換
publisher 京都大学数理解析研究所
publishDate 2005
url http://hdl.handle.net/2237/9360
http://hdl.handle.net/2433/47268
work_keys_str_mv AT gāngběnhuǎngzhì ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
AT okamotokoji ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
AT jiǔjǐngzhèngyàn ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
AT sakaimasahiko ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
AT xītiánzhíshù ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
AT nishidanaoki ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
AT cǎoyìguīyīlǎng ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
AT kusakarikeiichirou ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
AT bǎnbùjùnshù ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
AT sakabetoshiki ruòzuìnèizhànlüèwowánquánnisuruxiàngshūhuànexìnoděngsìjiāohuàn
_version_ 1716594155836145664

Similar Items