|
| Keyword : left-linear
|
On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems
Michio OYAMAGUCHI Yoshikatsu OHTA | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/02/01
Vol. E87-D
No. 2 ;
pp. 290-298
Type of Manuscript:
Special Section PAPER (Special Section on Foundations of Computer Science)
Category:
Keyword:
church-rosser, term rewriting system, left-linear, | | | Summary | Full Text:PDF | |
| |
|
|