Contents of Report

[Data of Report]

Report Number:: TR0088
Date of Registration:: 1984.10
English Title:: Recursive Unsolvability of Determinacy Solvable Cases of Determinacy and their Applications to Prolog Opetimization
Japanese Title:: ***
English Author:: H.Sawamura,T.Takeshima
Japanese:: ***
Name of Organization to which author belongs:: Fujitsu,Fujitsu
PDF:: tr0088.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Notational Conventions	.... 6
3	Recursive Unsolvability of Determinacy	.... 7
4	Solvable Cases of Determinacy	.... 10
5	Applications to Prolog Optimization	.... 13
6	Concluding Remarks	.... 20
	Acknowledgements	.... 22
	References	.... 22

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