Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description (1999)

Cached

Download Links

by Andrea Corradini , Fabio Gadducci
Citations:12 - 6 self