Faculty of Mathematics and Computing Science, TU/e. 2001-04 S.C.C. Blom. Term Graph Rewriting: syntax and semantics (0)

by R van Liere
Venue:Faculty of Sciences, Division of Mathematics and Computer Science, VUA