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