Art

J-GLOBAL ID：200902117544007722   Reference number：96A0417956

The Language BQL and Its Implementation.

プログラム言語BQLとその処理系

Author (3)： IKEDA YASUO (埼玉短大) ,  HOSONO CHIHARU (筑波大 電子・情報工学系) ,  TSUJI TAKASHI (千葉大 理)
Material： 情報処理学会論文誌  (IPSJ Journal)
Volume： 37  Issue： 4  Page： 546-555  Publication year： Apr. 1996 
JST Material Number： Z0778A  ISSN： 0387-5806  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： logic programming language ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=96A0417956&from=J-GLOBAL&jstjournalNo=Z0778A") }}

JST classification (2)： Theory of computation  (JB02000A) ,  Language processors  (JD03040F)

Reference (13)：

• Bantam Doubleday Dell Magazines. Logic Puzzles. 1993
• COOPER, D. C. Theorem Proving in Arithmetic without Multiplicaton. Machine Intelligence. 1972, Vol.7, 91-99
• IGARASHI, S. The ν-Conversion and an Analytic Semantics. Inf. Proc. 83. 1983, 657-668
• IGARASHI, S. An Analytical Semantics of Parallel Program Processes Represented by ν-conversion. Tensor, N. S. 1987, Vol.45, 222-228
• IGARASHI, S. On Locomorphism in Analytical Equivalence Theory. Logic, Language and Computation: Festschrift in Honor of Satoru Takasu, Lecture Notes in Computer Science. 1994, Vol.792, 173-187

Terms in the title (1)： プログラム言語