A 2-Categorical Presentation of Term Graph Rewriting (1997)

View PDF

Download Links

by A. Corradini , F. Gadducci
Venue:CATEGORY THEORY AND COMPUTER SCIENCE, VOLUME 1290 OF LNCS
Citations:36 - 18 self