Art
J-GLOBAL ID：200902027092421241   Reference number：83A0036798

Decidability of reachability in vector addition systems.

ベクトル加算系における到達可能性の判定
Author (1)：
KOSARAJU S R

About KOSARAJU S R

(Johns Hopkins Univ., Maryland)

About Johns Hopkins Univ., Maryland


Material：
Proceedings of the Annual ACM Symposium on Theory of Computing  (Conference Proceedings of the Annual ACM Symposium on Theory of Computing)

About Proceedings of the Annual ACM Symposium on Theory of Computing


Volume： 14th  Page： 267-281  Publication year： 1982 
JST Material Number： D0804A  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.
vector (mathematics)

About vector (mathematics)

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=83A0036798&from=J-GLOBAL&jstjournalNo=D0804A") }}
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