Contents of Report
[Data of Report]
Report Number:
TM1057
Date of Registration:
1991.06
English Title:
Unification in Final Coalgebras -Extended Abstract-
Japanese Title:
***
English Author:
K.Mukai
Japanese:
***
Name of Organization to which author belongs:
ICOT
PDF:
tm1057.pdf
[Contents]
1
Introduction
.... 2
2
Basic Definitions
.... 3
3
Constraints
.... 4
4
Functions HA,pow,П
.... 7
References
.... 8
End
.... 9
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda