AGG - An Implementation of Algebraic Graph Rewriting

Michael Löwe, Martin Beyer. AGG - An Implementation of Algebraic Graph Rewriting. In Claude Kirchner, editor, Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Volume 690 of Lecture Notes in Computer Science, pages 451-456, Springer, 1993.

Abstract

Abstract is missing.