Contents of Report

[Data of Report]

	Abstract	.... 2
	Contents	.... 2
1	Introduction	.... 3
2	Meta-Unification for Conditional Equational Theories	.... 4
2.1	Conditional Equational Theories	.... 4
2.2	Meta-unification	.... 5
2.3	Consistency and Completeness	.... 8
3	Syntax of Talos	.... 12
3.1	Definition of Data Type	.... 12
3.2	Definition of Functions	.... 13
3.3	Query	.... 13
4	Meta-Unification for Conditional Equational Theorises with Constructors	.... 13
4.1	Conditional Equational Theorises with Constructors	.... 14
4.2	Meta-Unification with Constructors	.... 14
4.3	Consistency and Ground Completeness	.... 16
5	Semantics of Talos	.... 17
5.1	Operational Semantics	.... 17
5.2	Model Theoretic Semantics	.... 19
5.3	Equivalence of Two Semantics	.... 20
6	Discussions	.... 20
7	Conclusion	.... 21
	Acknowledgements	.... 21
	References	.... 21
	End	.... 22

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