Termersetzung, Graphersetzung

Arbeiten zu Termersetzung und Graphersetzung als theoretische Grundlage für funktionale Programmiersprachen und ihre Implementierung werden in Zusammenarbeit mit der AG Kreowski, u.a. in der ESPRIT WG COMPUGRAPH, durchgeführt.