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