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.
|