|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
R04) (Jun.2022 - Mar.2023 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/18061
|
| Title: | [課題研究報告書]Termination Analysis of Term Rewrite Systems with Bounded Increase |
| Authors: | Li, Hanyuan |
| Authors(alternative): | り, かんげん |
| Keywords: | Term Rewrite Systems
Termination Analysis |
| Issue Date: | Sep-2022 |
| Description: | Supervisor:廣川 直
先端科学技術研究科
修士（情報科学） |
| Title(English): | Termination Analysis of Term Rewrite Systems with Bounded Increase[Projct Peport] |
| Authors(English): | Li, Hanyuan |
| Language: | eng |
| URI: | http://hdl.handle.net/10119/18061 |
| Appears in Collections: | M-IS. 2022年度(R04) (Jun.2022 - Mar.2023)
|
Files in This Item:
There are no files associated with this item.
|
All items in DSpace are protected by copyright, with all rights reserved.
|
