WEKO3
アイテム / Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications / TE-PR-NAKAMURA-M-551
TE-PR-NAKAMURA-M-551
ファイル | ライセンス |
---|---|
TE-PR-NAKAMURA-M-551.pdf (232.5 kB) sha256 7a46591502f25b5ebaf0780d2ec71e640e240077249c41a714fcf3ae670dc261 |
公開日 | 2017-10-03 | |||||
---|---|---|---|---|---|---|
ファイル名 | TE-PR-NAKAMURA-M-551.pdf | |||||
本文URL | https://kanazawa-u.repo.nii.ac.jp/record/9945/files/TE-PR-NAKAMURA-M-551.pdf | |||||
ラベル | TE-PR-NAKAMURA-M-551.pdf | |||||
フォーマット | application/pdf | |||||
サイズ | 232.5 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|