左辺が一致するオーバレイ性を持つ左線形TRSの正規化戦略 (計算機科学基礎理論の新展開) - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 OA 左辺が一致するオーバレイ性を持つ左線形TRSの正規化戦略 (計算機科学基礎理論の新展開)

著者: 水野健一草刈圭一朗酒井正彦坂部俊樹
出版者: 京都大学数理解析研究所
雑誌: 数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日: vol.1375, pp.247-252, 2004-05

2012-03-17 18:35:02
1 はてなブックマーク

http://hdl.handle.net/2433/25604

言及状況

はてなブックマーク (1 users, 1 posts)

収集済み URL リスト

http://cache.yahoofs.jp/search/cache?c=BT84wVvYF9YJ&p=%E8%B3%82%E3%81%A8%E3%81%97%E3%81%A6%20haskell&u=repository.kulib.kyoto-u.ac.jp%2Fdspace%2Fbitstream%2F2433%2F25604%2F1%2F1375-37.pdf (1)