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)
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

もっと見る

スポンサーリンク