Contents of Report

[Data of Report]

Report Number:
TR442
Date of Registration:
1988.12
English Title:
Failure Set Semantics of Guarded Horn Clauses Programs
Japanese Title:
***
English Author:
M.Murakami
Japanese:
Name of Organization to which author belongs:
PDF:
tr0442.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Guarded Stream.... 3
2.1Basic Notions.... 4
2.2Formal Definitions.... 6
3Model Theoretic Semantics.... 9
4Fixpoint Semantics.... 13
5Conclusion.... 14
ACKNOWLEDGMENTS.... 14
References.... 14
End.... 15

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

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