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


Contact : Library Information Section, Japan Advanced Institute of Science and Technology