Termination, AC-Termination and dependency pairs of term rewriting systems
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Contents
p1
Abstract
Acknowledgments
1 Introduction
p1
2 Preliminaries
p5
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- 草刈圭一朗 [著]
- Author Heading
- 草刈, 圭一朗 クサカリ, ケイイチロウ
- Alternative Title
- 項書換え系の停止性,AC-停止性,依存性に関する研究 コウ カキカエケイ ノ テイシセイ AC-テイシセイ イソンセイ ニ カンスル ケンキュウ
- Degree grantor/type
- 北陸先端科学技術大学院大学
- Date Granted
- 平成12年3月28日
- Date Granted (W3CDTF)
- 2000
- Dissertation Number
- 甲第103号
- Degree Type
- 博士 (情報科学)