Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting

Yasuo Kawahara, Yoshihiro Mizoguchi. Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. 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 218-233, Springer, 1993.

Abstract

Abstract is missing.