Art
J-GLOBAL ID：200902002051041040   Reference number：90A0312902

Undecidability results for deterministic communicating sequential processes.

決定論的通信順序過程の決定不可能性の結果
Author (2)：
CIESLAK R A

About CIESLAK R A

(Univ. California, CA)

About Univ. California, CA

, 
VARAIYA P

About VARAIYA P

(Univ. California, CA)

About Univ. California, CA


Material：
Proceedings of the IEEE Conference on Decision & Control  (Proc IEEE Conf Decis Control)

About Proceedings of the IEEE Conference on Decision & Control


Volume： 28th  Issue： 3  Page： 2701-2707  Publication year： 1989 
JST Material Number： A0744B  ISSN： 0191-2216  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  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.
decision problem

About decision problem

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=90A0312902&from=J-GLOBAL&jstjournalNo=A0744B") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
System and control theory in general 
(IA02010H)

About System and control theory in general

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
順序

About 順序

, 
過程

About 過程


Return to Previous Page

TOP

BOTTOM