Left-Incompatible Term Rewriting Systems and Functional Strategy

スポンサーリンク

概要

• 論文の詳細を見る

• This paper extends left-incompatible term rewriting systems defined by Toyama et al. [17]. It is also shown that the functional strategy is normalizing in the class, where the functional strategy is the reduction strategy that finds index by some rule selection method and top-down and left-to-right lazy pattern matching method.

• 社団法人電子情報通信学会の論文
• 1997-12-25

著者

• Sakai M

  Graduate School Of Information Science Nagoya University

• Sakai M

  Japan Advanced Institute Of Science And Technology:(present Address)nagoya University

• SAKAI Masahiko

  Japan Advanced Institute of Science and Technology

• Sakai Masahiko

  Department Of Information Engineering Nagoya University

関連論文

• An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
• An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
• Left-Incompatible Term Rewriting Systems and Functional Strategy
• On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
• Effects of Chemical Modification of Arginine Residues Outside the Active Site Cleft of Ricin A-Chain on Its RNA N-Glycosidase Activity for Ribosomes
• Index Reduction of Overlapping Strongly Sequential Systems
• NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)

スポンサーリンク