IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 1 of 1  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
COMP 2005-03-18
10:25
Tokyo Tokyo Institute of Technology AC-termination by modified monotonic AC-compatible semantic path orderings
Hideyuki Ochiai, Takahito Aoto, Yoshihito Toyama (Tohoku Univ.)
AC term rewriting is a computational model that deals the rewrite relation modulo AC (associative-commutative law). Vari... [more] COMP2004-76
pp.23-31
 Results 1 - 1 of 1  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan