Evaluation of functional expressions by hypergraph rewriting (1993)

by D Plump
Venue:Dissertation, Universitat Bremen, Fachbereich Mathematik und Informatik