|
JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy（Information Science） >
H11) (Jun.1999 - Mar.2000 >
Please use this identifier to cite or link to this item:
https://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: | https://hdl.handle.net/10119/900 |
| Appears in Collections: | D-IS. 1999年度(H11) (Jun.1999 - Mar.2000)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| 870abstract.pdf | | 61Kb | Adobe PDF | View/Open | | 870jabstract.pdf | | 13Kb | Adobe PDF | View/Open | | 870paper.pdf | | 744Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
