On the Uniquely Converging Property of Nonlinear Term Rewriting Systems
収録刊行物
-
- Technical Report of IEICE, COMP 89-7
-
Technical Report of IEICE, COMP 89-7 61-70, 1989
Technical Report of IEICE, COMP 89-7 61-70, 1989