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

Cached

Download Links

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

Document Versions

A 2-Categorical Presentation of Term Graph Rewriting –A. Corradini, F. Gadducci — 1997 — CATEGORY THEORY AND COMPUTER SCIENCE, VOLUME 1290 OF LNCS