Art
J-GLOBAL ID：200902017786954381   Reference number：89A0252330

A new programming paradigm. 15. Modal logic and temporal programming.

新しいプログラミング・パラダイム XV 様相論理とテンポラル・プログラミング
Author (1)：
SAKURAGAWA TAKASHI

About SAKURAGAWA TAKASHI

(京大 数理解析研)

About 京大 数理解析研


Material：
BIT (Tokyo)

About BIT (Tokyo)


Volume： 21  Issue： 1  Page： 69-77  Publication year： Jan. 1989 
JST Material Number： G0873A  ISSN： 0385-6984  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)
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.
programming language

About programming 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.
時制論理

About 時制論理

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

About Theory of computation

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
プログラミング

About プログラミング

, 
パラダイム

About パラダイム

, 
様相論理

About 様相論理

, 
テンポラル

About テンポラル


Return to Previous Page

TOP

BOTTOM