NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)
スポンサーリンク
概要
著者
-
Sakai M
Graduate School Of Information Science Nagoya University
-
Sakai Masahiko
Nagoya University
-
Sakai Masahiko
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Nagaya Takashi
Japan Advanced Institute Of Science And Technology
-
Nagaya Takashi
School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku
-
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 Y
Tohoku Univ. Sendai‐shi Jpn
-
Toyama Yoshihito
School Of Information Science Jaist
-
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
- Decidable/undecidable properties of conditional term rewriting systems
- 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
- On Proving AC-Termination by Argument Filtering Method
- 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)
- Left-incompatible Term Rewriting Systems and its Normalizing Strategy(Theory of Rewriting Systems and Its Applications)
- Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)