Optimal Normalization in Orthogonal Term Rewriting Systems (1993)

Cached

Download Links

by Zurab Khasidashvili
Venue:In: Proc. of the 5 th International Conference on Rewriting Techniques and Applications, RTA'93
Citations:24 - 20 self