Simplification Orders for Term Graph Rewriting

Activity: Talk or presentation › Invited talk

Period28 Oct 1997
Held atVrije Universiteit Amsterdam, Netherlands