The Functional Strategy and Transitive Term Rewriting Systems (1993)

Cached

Download Links

by Yoshihito Toyama , Sjaak Smetsers , Marko van Eekelen , Rinus Plasmeijer
Citations:15 - 1 self