Bibtex actions: edit source raw source raw html
1986
-
Arthur Veen.
Analytic modelling of a parallel graph reducer.
University of Nijmegen ,
79,
1986.
-
M.C.J.D. van Eekelen and M.J. Plasmeijer.
Specification of reduction strategies in term rewriting systems.
Proceedings of International Workshop on Graph Reduction,
Santa Fe, NM,
Fasel and Keller,
Springer-Verlag,
LNCS,
279,
1986,
215-239.
