A calculus for meta-rewriting on term rewriting systems : dynamic term rewriting calculus and its application

• Material Type: 博士論文
• Title: A calculus for meta-rewriting on term rewriting systems : dynamic term rewriting calculus and its application
• Author/Editor: 馮速 [著]
• Author Heading: 馮, 速 フォン, スウ
• Alternative Title: 項書き換え系のメタ書き換え計算 : 動的項書き換え計算とその応用 コウ カキカエケイ ノ メタ カキカエ ケイサン : ドウテキ コウ カキカエ ケイサン ト ソノ オウヨウ
• Degree grantor/type: 名古屋大学
• Date Granted: 平成9年2月7日
• Date Granted (W3CDTF): 1997
• Dissertation Number: 甲第3573号
• Degree Type: 博士 (工学)
• Note (Dissertation): 博士論文
• Place of Publication (Country Code): JP
• NDLC: UT51
• Note (General): 博士論文
• Holding library: 国立国会図書館
• Call No.: UT51-97-N219
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000000311303; http://id.ndl.go.jp/bib/000000311303
• Bibliographic Record Category (NDL): 213

Table of Contents

Contents

1 Introduction

1.1 Background

1.2 Motivation

1.3 The Purpose of the Thesis