Contents of Report

[Data of Report]

Report Number:: TR480
Date of Registration:: 1989.06
English Title:: 半群作用を持つマージ構造とその上の単一化理論
Japanese Title:: ***
English Author:: 向井国昭
Japanese:
Name of Organization to which author belongs:
PDF:: tr0480.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 2
2	部分タグ付き木	.... 4
3	レコード代数	.... 6
4	単一化理論と充足可能性	.... 8
4.1	単一化理論	.... 8
4.2	充足可能性	.... 10
5	プログラムの意味論	.... 12
6	DAG, 次数および限定節分法	.... 13
6.1	DAG	.... 13
6.2	次数（arity）の導入	.... 14
6.3	レコードの上の限定節文法	.... 14
7	おわりに	.... 15
	End	.... 17

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports