WEKO3
アイテム / Enhancing Dependency Pair Method using Strong Computability in Simply-Typed Term Rewriting / aaecc07
aaecc07
ファイル | ライセンス |
---|---|
aaecc07.pdf (164.0 kB) sha256 f4fd706840722e7a4e991d065f9c302328975890313cd7145698839d5a0527a7 |
公開日 | 2009-02-13 | |||||
---|---|---|---|---|---|---|
ファイル名 | aaecc07.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/9338/files/aaecc07.pdf | |||||
ラベル | aaecc07.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 164.0 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|