JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy(Information Science) >
Jun.1999 - Mar.2000 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/900

Title: 項書換え系の停止性,AC停止性,依存対に関する研究
Authors: 草刈, 圭一朗
Authors(alternative): くさかり, けいいちろう
Keywords: AC項書換え系,AC停止性,AC依存対, 切り落とし法,消去法,切り落とし変換法.
AC-Term Rewriting System, AC-Termination, AC-De
Issue Date: Mar-2000
Description: 
Supervisor:外山 芳人
情報科学研究科
博士
Title(English): Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems
Authors(English): KUSAKARI, Keiichirou
Language: eng
URI: http://hdl.handle.net/10119/900
Appears in Collections:D-IS. 平成11年度 (Jun.1999 - Mar.2000)

Files in This Item:

File Description SizeFormat
870abstract.pdf61KbAdobe PDFView/Open
870jabstract.pdf13KbAdobe PDFView/Open
870paper.pdf744KbAdobe 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