JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
H08) (Jun.1996 - Mar.1997 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/1018
|
Title: | AC規則を含む項書換え系の停止性について |
Authors: | 中野, 賢司 |
Authors(alternative): | なかの, けんじ |
Keywords: | 停止性、AC関数記号、積み上げ化 AC-TRS,stacking,SDL-Ordering |
Issue Date: | Mar-1997 |
Description: | Supervisor:外山 芳人 情報科学研究科 修士 |
Title(English): | A New Approach of Ordering for AC-TRS |
Authors(English): | Nakano, Kenji |
Language: | jpn |
URI: | http://hdl.handle.net/10119/1018 |
Appears in Collections: | M-IS. 1996年度(H08) (Jun.1996 - Mar.1997)
|
Files in This Item:
File |
Description |
Size | Format |
137abstract.pdf | | 64Kb | Adobe PDF | View/Open | 137jabstract.pdf | | 39Kb | Adobe PDF | View/Open | 137paper.pdf | | 254Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|