Implementing Term Rewriting by Jungle Evaluation

Berthold Hoffmann, Detlef Plump

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)445-472
Number of pages28
JournalRAIRO Theoretical Informatics and Applications
Volume25
Issue number5
Publication statusPublished - 1991

Cite this