Equational term graph rewriting (1996)

Cached

Download Links

by Zena M. Ariola , Jan Willem Klop
Venue:FUNDAMENTA INFORMATICAE
Citations:71 - 8 self

Document Versions

Equational term graph rewriting –Zena M. Ariola, Jan Willem Klop — 1996 — FUNDAMENTA INFORMATICAE
Equational Term Graph Rewriting –Zena M. Ariola, Jan Willem Klop — 1993