Evaluation of functional expressions by hypergraph rewriting (1993)

by D Plump
Venue:Universität Bremen, Fachbereich Mathematik und Informatik