Sciweavers

MFCS
1997
Springer

Simplification Orders for Term Graph Rewriting

14 years 4 months ago
Simplification Orders for Term Graph Rewriting
Detlef Plump
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where MFCS
Authors Detlef Plump
Comments (0)