Contents of Report

[Data of Report]

Report Number:
TM0700
Date of Registration:
1989.03
English Title:
Efficient Implementation of Basic Narrowing
Japanese Title:
***
English Author:
A.Ohsuga,K.Sakai
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm0700.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Preliminaries.... 3
3Term Structure.... 4
4Innermost Basic Reduction.... 5
5SLD Basic Narrowing.... 6
6Combination of Innermost Basic Reduction and SLD Basic Narrowing.... 6
7Conclusion.... 8
Acknowledgments.... 9
References.... 9

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

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda