|
| Michio OYAMAGUCHI
| |
|
|
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 | |
| |
|
| |
|
|
On the Word Problem for Right-Ground Term-Rewriting Systems
Michio OYAMAGUCHI | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/05/25
Vol. E73-E
No. 5
pp. 718-723
Type of Manuscript:
PAPER
Category: Automation, Language and Theory of Computing
Keyword:
| | | Summary | Full Text:PDF | |
|
|