Art
J-GLOBAL ID：201002093877180990   Reference number：79A0334825

Proving termination with multiset orderings.

マルチセット順序付けにおける停止の検証
Author (2)：
DERSHOWITZ N

About DERSHOWITZ N

, 
MANNA Z

About MANNA Z


Material：
Commun ACM (Assoc Comput Mach)  (Communications of the ACM (Association for Computing Machinery))

About Commun ACM (Assoc Comput Mach)


Volume： 22  Issue： 8  Page： 465-476  Publication year： 1979 
JST Material Number： B0330B  CODEN： CACMA  Document type： Article
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.
プログラム理論

About プログラム理論

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=79A0334825&from=J-GLOBAL&jstjournalNo=B0330B") }}
Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
マルチ

About マルチ

, 
順序付け

About 順序付け

, 
検証

About 検証


Return to Previous Page

TOP

BOTTOM