Jungle Evaluation for Efficient Term Rewriting

Berthold Hoffmann, Detlef Plump

Research output: Contribution to conference › Paper

Original languageUndefined/Unknown
Pages191--203
Publication statusPublished - 1988

Bibliographical note

Also in Springer Lecture Notes in Computer Science 343, 191--203, 1989

Cite this