WEKO3
アイテム / Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs / e93-d_5_953
e93-d_5_953
ファイル | ライセンス |
---|---|
e93-d_5_953.pdf (505.8 kB) sha256 63eabbf0b2f4230734373ffeb22f168477ddb950ce80a29e81472294cfd32fd3 |
公開日 | 2015-01-29 | |||||
---|---|---|---|---|---|---|
ファイル名 | e93-d_5_953.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/19053/files/e93-d_5_953.pdf | |||||
ラベル | e93-d_5_953.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 505.8 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|