Contents of Report
[Data of Report]
Report Number:
TM0231
Date of Registration:
1986.09
English Title:
Refutational Theorem Proving for Equational Systems Based Term Rewriting
Japanese Title:
***
English Author:
A.Oosuga,K.Sakai
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm0231.pdf
[Contents]
Abstract
.... 2
1
Introduction
.... 2
2
Preliminaries
.... 2
3
Term rewriting system generatoe Metis
.... 4
4
Experiments
.... 7
References
.... 11
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda