WEKO3
アイテム / Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems / rta08
rta08
ファイル | ライセンス |
---|---|
rta08.pdf (228.7 kB) sha256 00c36f19fff4b92ccb0395f578e574545e3921e792bc3f21e8f08cf91d94d22b |
公開日 | 2015-02-04 | |||||
---|---|---|---|---|---|---|
ファイル名 | rta08.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/19073/files/rta08.pdf | |||||
ラベル | rta08.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 228.7 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|