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