太田 義勝

On the Open Problems concerning Church-Rosser of Left-Linear Term Rewriting Systems 

Transaction of the Institute of Electronics, Information and Communication Engineers E87-D(2) 290-298 2004年  

On the Open Problems concerning Church-Rosser of Left-Linear Term Rewriting Systems 

Transaction of the Institute of Electronics, Information and Communication Engineers E87-D(2) 290-298 2004年  

単項的TRSにおける単一化問題について 

情報処理学会論文誌 44(PRO17) 54-66 2003年  

On the Unification Problem for Confluent Monadic Term Rewriting Systems 

Transactions of Information Processing Society of Japan 44(PRO17) 54-66 2003年  

通信遅延を考慮したコードスケジューリングアルゴリズムについて 

電子情報通信学会誌 J85-D-I(10) 1088-1092 2002年  

On the Task Scheduling with Communication Delay 

Transactions of the lustitute of Electronics Infomation and Communitation Engineers J85-D-I(10) 1088-1092 2002年  

マルチプロセッサ向き目的コードスケジューリングについて 

電子情報通信学会論文誌 J82-D-I(10) 1232-1244 1999年  

Code Scheduling for Multi-Processor Systems 

Transactions of the Institute of Electronics Information and Communication Engineers J82-D-I(10) 1232-1244 1999年  

On the Church-Resser Property of Root-E-overlapping and Strongly Degth-Preserring Term Rewriting Systems 

Transations of Information Pracessing Society of Japan 39(4) 992-1005 1998年  

On the Church-Resser Property of Root-E-overlapping and Strongly Degth-Preserring Term Rewriting Systems 

Transations of Information Pracessing Society of Japan 39(4) 992-1005 1998年  

並列処理を考慮した目的コードスケジューリング 

電子情報通信学会論文誌 J80-D-I(12) 971-974 1997年  

非線形TRSのE重なり性について 

電子情報通信学会論文誌 J80-D-I(11) 847-855 1997年  

Code Scheduling for Instruetion-Level Parallel Processors 

Transations of the Institute of Electronics Information and Communication Engineers J80-D-I(12) 971-974 1997年  

On the Church-Rosser Property of Non-E-overlapping and Strongly Depth-preserving Term Rewriting Systems 

Transactions of Information Processing Society of Japan 37(12) 2147-2160 1996年  

単純右線形項書換えシステムの合流性について 

電子情報通信学会論文誌 J78-D-I(3) 263-268 1995年  

On the Church-Rosser Property of Simple-Risht-Linear TRS's 

Transactions of the Institutes of Electronics Information and Communication Engineers J78-D-I(3) 263-268 1995年