By the same authors

Jungle Evaluation for Efficient Term Rewriting

Research output: Contribution to conferencePaper



Publication details

DatePublished - 1988
Original languageUndefined/Unknown

Bibliographical note

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

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations