Some Results on the CR property of non-E-overlapping and depth-preserving TRS's(Theory of Rewriting Systems and Its Applications)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Gomi Hiroshi

  Faculty Of Engineering Mie University

• OYAMAGUCHI MICHIO

  Faculty of Engineering, Mie University

• Oyamaguchi Michio

  Faculty Of Engineering Mie University

関連論文

• 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 the Church-Rosser Property of Non-E-overlapping and Strongly Depth-preserving Term Rewriting Systems
• 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

もっと見る 閉じる

スポンサーリンク