Sciweavers

MFCS
1997
Springer

Simplification Orders for Term Graph Rewriting

15 years 29 days 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)