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 SizeFormat
137abstract.pdf64KbAdobe PDFView/Open
137jabstract.pdf39KbAdobe PDFView/Open
137paper.pdf254KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


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