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

文献

J-GLOBAL ID：200902117544007722 整理番号：96A0417956

The Language BQL and Its Implementation.

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=96A0417956&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=96A0417956&from=J-GLOBAL&jstjournalNo=Z0778A") }}

著者 (3件)： , ,
資料名：
巻： 37 号： 4 ページ： 546-555 発行年： 1996年04月
JST資料番号： Z0778A ISSN： 0387-5806 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：日本語 (JA)

ν行為はプログラムを数学的に表現したもので,ν行為を計算機で...

,...

続きはJDreamIII（有料）にて {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=96A0417956&from=J-GLOBAL&jstjournalNo=Z0778A") }}

計算理論 , 言語プロセッサ

引用文献 (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

前のページに戻る