Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)
スポンサーリンク
概要
著者
-
Toyama Yoshihito
School Of Information Science Jaist
-
Oyamaguchi Michio
Faculty Of Engineering Mie University
-
Toyama Yoshihito
School of Information Science, JAIST
関連論文
- The Joinability and Related Decision Problems for Semi-constructor TRSs(計算理論)
- Some Results on the CR property of non-E-overlapping and depth-preserving TRS's(Theory of Rewriting Systems and Its Applications)
- On the Church-Rosser Property of Root-E-overlapping and Strogly Depth-preserving Term Rewriting Systems(Special Issue on Generation Database Technology for Internet, Multimedia and Mobile computing)
- On proving AC-termination by argument filtering method
- On proving Ac-termination by AC-dependency pairs
- 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
- NVNF-sequentiality of Left-linear Term Rewriting Systems(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)
- The Reachability and Joinability Problems for Right-Ground Term-Rewriting Systems
- The Reachability Problem for Quasi-Ground Term Rewriting Systems
- On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems(Foundations of Computer Science)
- On the Task Scheduling with Communication Delay
- On the Church-Rosser Property of Left-Linear Term Rewriting Systems(Regular Section)
- The Joinability and Related Decision Problems for Semi-constructor TRSs
- The Joinability and Related Decision Problems for Semi-constructor TRSs