Contents of Report

[Data of Report]

Report Number:
TM0422
Date of Registration:
1987.12
English Title:
Introduction to CAL(Extended Abstract)
Japanese Title:
***
English Author:
K.Sakai,A.Aiba
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm0422.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Constraints in CAL.... 3
3Buchberger Algorithm and Grobner bases.... 3
4Execution of a CAL Program.... 4
5Configuration of the CAL interpreter.... 6
6CAL for Boolean expressions.... 7
7Future extensions.... 7
References.... 8

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

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda