WEKO3
アイテム / On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair Technique / sakai_11
sakai_11
ファイル | ライセンス |
---|---|
sakai_11.pdf (70.5 kB) sha256 abfd4914ab6f9f75cf93f8fb45f601a7d1eda3ea03322f4ce623d0e084156450 |
公開日 | 2008-01-07 | |||||
---|---|---|---|---|---|---|
ファイル名 | sakai_11.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/7560/files/sakai_11.pdf | |||||
ラベル | sakai_11.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 70.5 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|