Jungle Evaluation for Efficient Term Rewriting

Plump, DETLEF orcid.org/0000-0002-1148-822X and Hoffmann, Berthold (1988) Jungle Evaluation for Efficient Term Rewriting. In: Algebraic and Logic Programming, International Workshop (ALP 1988). Lecture Notes in Computer Science. Akademie-Verlag Berlin, pp. 191-203.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

Paper originally published by Akademie-Verlag Berlin in 1988 and re-published by Springer in 1989 (LNCS 343). This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Dates:
  • Published: 1988
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Date Deposited: 30 Jul 2026 14:00
Last Modified: 30 Jul 2026 14:00
Published Version: https://doi.org/10.1007/3-540-50667-5_71
Status: Published
Publisher: Akademie-Verlag Berlin
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/3-540-50667-5_71
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics