WEKO3
アイテム / Decidability of Termination for Semi-Constructor TRSs, Left-Linear Shallow TRSs and Related Systems / sakai_4
sakai_4
ファイル | ライセンス |
---|---|
sakai_4.pdf (153.2 kB) sha256 775ba0e5f2d0e76055d5ad452bcb5d3bf70f41380772fa38fa51a20cd3cf7cdb |
公開日 | 2008-01-07 | |||||
---|---|---|---|---|---|---|
ファイル名 | sakai_4.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/7550/files/sakai_4.pdf | |||||
ラベル | sakai_4.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 153.2 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|