(Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting (1997)

Cached

Download Links

by Andrea Corradini , Frank Drewes
Venue:CGH
Citations:20 - 6 self