Art

J-GLOBAL ID：201902233060873521   Reference number：19A1760663

Conditions for confluence of innermost terminating term rewriting systems

最近接項書き換えシステムの合流性のための条件【JST・京大機械翻訳】

Author (4)： Ishizuki Sayaka (Graduate School of Information Science, Nagoya University, Nagoya, Japan) ,  Ishizuki Sayaka (KDDI Corporation, Tokyo, Japan) ,  Oyamaguchi Michio (Graduate School of Informatics, Nagoya University, Nagoya, Japan) ,  Sakai Masahiko (Graduate School of Informatics, Nagoya University, Nagoya, Japan)
Material： Applicable Algebra in Engineering, Communication and Computing
Volume： 30  Issue： 4  Page： 349-360  Publication year： 2019 
JST Material Number： W4041A  ISSN： 0938-1279  Document type： Article
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Abstract/Point： This paper presents a countere...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=19A1760663&from=J-GLOBAL&jstjournalNo=W4041A") }}

Thesaurus term： *confluence ,  *term rewriting system ,  connectivity ,  normalization ,  criticality ,  sufficient condition ,  *confluent property
Semi thesaurus term： 必要十分条件 , 【Automatic Indexing@JST】

Author keywords (4)： Confluence ,  Innermost termination ,  Term rewriting systems ,  Decidability

JST classification (1)： Theory of computation  (JB02000A)

Substance index (1)： Corrole

Terms in the title (2)： 項書き換えシステム ,  合流性