WEKO3
アイテム / An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems / E84-D_n8_1025-1032
E84-D_n8_1025-1032
ファイル | ライセンス |
---|---|
E84-D_n8_1025-1032.pdf (899.1 kB) sha256 43dcf1daff43a4e3c160cb6b14c8c2164016bdd1d7045fcb1bf4ca05cb90fb38 |
公開日 | 2008-03-10 | |||||
---|---|---|---|---|---|---|
ファイル名 | E84-D_n8_1025-1032.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/7858/files/E84-D_n8_1025-1032.pdf | |||||
ラベル | E84-D_n8_1025-1032.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 899.1 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|