Term rewriting systems and the Church-Rosser property
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Digital data available（東北大学機関リポジトリ TOUR）
Begin reading now
学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Contents
p3
Abstract
p1
Acknowledgments
p2
1 Introduction
p1
1.1 Backgrouds
p1
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
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
- 平成2年9月12日
- Date Granted (W3CDTF)
- 1990
- Dissertation Number
- 乙第5360号
- Degree Type
- 工学博士