Art
J-GLOBAL ID：200902015516854544   Reference number：90A0196241

A syntactic theory of sequential state.

シーケンシャル状態の構文的理論
Author (2)：
FELLEISEN M

About FELLEISEN M

(Rice Univ., TX, USA)

About Rice Univ., TX, USA

, 
FRIEDMAN D P

About FRIEDMAN D P

(Indiana Univ., IN, USA)

About Indiana Univ., IN, USA


Material：
Theoretical Computer Science  (Theoretical Computer Science Part B. Logic, Semantics and Theory of Programming)

About Theoretical Computer Science


Volume： 69  Issue： 3  Page： 243-287  Publication year： Dec. 18, 1989 
JST Material Number： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
functional language

About functional language

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
equational theory

About equational theory


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=90A0196241&from=J-GLOBAL&jstjournalNo=T0022A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
シーケンシャル

About シーケンシャル

, 
構文

About 構文

, 
理論

About 理論


Return to Previous Page

TOP

BOTTOM