Relating Two Categorical Models of Term Rewriting (1995)

Cached

Download Links

by A. Corradini , F. Gadducci , U. Montanari
Venue:Rewriting Techniques and Applications, volume 914 of LNCS
Citations:18 - 11 self