Contents of Report
[Data of Report]
Report Number:
TM0730
Date of Registration:
1989.05
English Title:
Merging Situations
Japanese Title:
***
English Author:
R.Cooper
Japanese:
***
Name of Organization to which author belongs:
Edingburgh Univ
PDF:
tm0730.pdf
[Contents]
1
Introduction
.... 2
2
Compact situations
.... 3
3
Merging compact situations
.... 4
4
Graph Unification
.... 6
End
.... 8
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda