Church-Rosser Property and Unique Normal Form Property of Non-duplicating Term Rewriting Systems
収録刊行物
-
- LA Symposium (Winter)
-
LA Symposium (Winter) 1993
LA Symposium (Winter) 1993