Semantics for interactive higher-order functional-logic programming
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Contents
1 Introduction
p4
1.1 Background
p5
1.2 Our Approach
p9
2 Many-sorted First-order FLP
p15
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
- 浜名, 誠 ハマナ, マコト
- Extent
- 冊
- Alternative Title
- インタラクティブ高階関数論理型言語の意味論 インタラクティブ コウカイ カンスウ ロンリガタ ゲンゴ ノ イミロン
- Degree grantor/type
- 筑波大学
- Date Granted
- 平成10年3月23日
- Date Granted (W3CDTF)
- 1998
- Dissertation Number
- 甲第1911号