Index Reduction of Overlapping Strongly Sequential Systems

スポンサーリンク

概要

• 論文の詳細を見る

• Huet and Levy showed that index reduction is a normalizing strategy for every orthogonal strongly sequential term rewriting system. Toyama extended this result to root balanced joinable strongly sequential systems. In this paper, we present a class including all root balanaced joinable strongly sequential systems and show that index reduction is normalizing for this class. We also propose a class of left-linear (possibly overlapping)NV-sequential systems having a normalizing strategy.

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

著者

• Sakai Masahiko

  Nagoya Univ. Nagoya Jpn

• Sakai M

  Graduate School Of Information Science Nagoya University

• Sakai Masahiko

  Nagoya University

• Nagaya Takashi

  Japan Advanced Institute Of Science And Technology

• TOYAMA Yoshihito

  Faculty of Information Science, Japan Advanced Institute of Science and Technology

• Sakai M

  Nagoya Univ. Nagoya‐shi Jpn

• Toyama Yoshihito

  School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku

• TOYAMA Yoshihito

  Japan Advanced Institute of Science and Technology

• Toyama Y

  Tohoku Univ. Sendai‐shi Jpn

• 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
• Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting
• Characterizing Inductive Theorems by Extensional Initial Models in a Higher-Order Equational Logic
• On proving AC-termination by argument filtering method
• On proving Ac-termination by AC-dependency pairs
• On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
• Argument filtering transformation
• The hierarchy of dependency pairs
• Decidability for left-linear growing term rewriting systems
• Simplification ordering for higher-order rewrite systems
• Simplification Ordering for 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)

もっと見る 閉じる

スポンサーリンク