Logic Based Structure Rewriting Systems

Andy Schürr. Logic Based Structure Rewriting Systems. 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 341-357, Springer, 1993.

Abstract

Abstract is missing.