Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi. Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. In Hans Jürgen Schneider, Hartmut Ehrig, editors, Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings. Volume 776 of Lecture Notes in Computer Science, pages 119-137, Springer, 1993.

Abstract

Abstract is missing.