WEKO3
アイテム / Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems / 1554_166-170
1554_166-170
ファイル | ライセンス |
---|---|
1554_166-170.pdf (326.7 kB) sha256 b8b03a7b05e13c26b03ebe564c42f8c551dcbf3320463be4300fb490767006d2 |
公開日 | 2008-01-22 | |||||
---|---|---|---|---|---|---|
ファイル名 | 1554_166-170.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/7647/files/1554_166-170.pdf | |||||
ラベル | 1554_166-170.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 326.7 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|