WEKO3
アイテム / Innermost Reductions Find All Normal Forms on Right-Linear Terminating Overlay TRSs / sakai_9
sakai_9
ファイル | ライセンス |
---|---|
sakai_9.pdf (191.7 kB) sha256 dda25c44c18ca563d0091d58efd0987496cf14a677d6094a443bc052680c3147 |
公開日 | 2008-01-07 | |||||
---|---|---|---|---|---|---|
ファイル名 | sakai_9.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/7557/files/sakai_9.pdf | |||||
ラベル | sakai_9.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 191.7 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|