|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
R06) (Jun.2024 - Mar.2025 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/19818
|
| Title: | 作用項書換えのための多重集合経路順序 |
| Authors: | 谷内, 亘 |
| Authors(alternative): | やち, わたる |
| Keywords: | 項書換え
term rewriting |
| Issue Date: | Mar-2025 |
| Description: | Supervisor: 廣川 直
先端科学技術研究科
修士 (情報科学) |
| Title(English): | Multiset Path Orders for Applicative Term Rewriting |
| Authors(English): | Yachi, Wataru |
| Language: | jpn |
| URI: | http://hdl.handle.net/10119/19818 |
| Appears in Collections: | M-IS. 2024年度(R06) (Jun.2024 - Mar.2025)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| abstract.pdf | 要旨 | 79Kb | Adobe PDF | View/Open | | paper.pdf | 本文 | 580Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
