論理的問題の等価変換による解法(1) : その理論的基礎

赤間 清; 繁田 良則; 宮本 衛市

doi:10.11517/jjsai.13.6_928

Abstract

=g. Secondly, it is proved that the set L(P, q) can be transformed into another form f(M(P')), i.e., it is represented by declarative semantics of a program P' determined by P and q. Finally, equivalent transformation (ET) is proposed as a new m

Content from these authors

Favorites & Alerts

Recently viewed articles

19 Relationships between forestry, tourism development and nature conservation in rural community : A case at Daisetsusan national park in Hokkaido(Voluntary papers of the regular meeting in November, 1993)
A Case of Normal Sized Ovarian Carcinoma with Positive Endometrial Smear
Lymphoproliferative disorders related to methotrexate use in rheumatoid arthritis
Improving feral raccoon control measures by municipalities: A case study in Japan
Effect of Occlusal Condition on the Mastication of Raw and Cooked Vegetables by the Elderly

Announcements from publisher

Although several articles need the authentication to access their PDF in two years after the day of issue, JSAI individual members could download it for free. If you are the member, please log on My Page for JSAI member to know your ID and password for the authentication. Note that passwords of the two systems are different. Those who are not JSAI member can purchase PDFs at Purchase Form (in Japanese). The paper book or e-book of Kindle for each number are available at Amazon.

Corresponding author

Register with J-STAGE for free!