Contents of Report

[Data of Report]

Report Number:
TR0334
Date of Registration:
1988.01
English Title:
Deductive Approach For Nested Relations
Japanese Title:
***
English Author:
K.Yokota
Japanese:
***
Name of Organization to which author belongs:
ICOT
PDF:
tr0334.pdf

[Contents]

Abstract.... 2
Table of Contents.... 2
1Introduction.... 3
2Motivation.... 4
3Nested Term.... 5
3.1Syntax.... 6
3.2Semantics.... 8
4Unification.... 10
5Program.... 13
6CRL and Nested Relations.... 16
7Extensions.... 18
8Related Reserch.... 19
9Concluding Remarks.... 21
Acknowledgments.... 21
References.... 22
End.... 23

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

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