Categorical aspects of rewriting logic and related topics
Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Abstract
Contents
p1
Introduction
p1
Rewriting logic
p1
2-categorical models of conditional rewriting logic
p2
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
- 書き換え論理の圏論的側面及び関連する話題 カキカエ ロンリ ノ ケンロンテキ ソクメン オヨビ カンレン スル ワダイ
- Degree grantor/type
- 東京大学
- Date Granted
- 平成10年3月9日
- Date Granted (W3CDTF)
- 1998
- Dissertation Number
- 乙第13719号
- Degree Type
- 博士 (理学)