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