Single pushout rewriting in comprehensive systems of graph-like structures

Patrick Stünkel, Harald König. Single pushout rewriting in comprehensive systems of graph-like structures. Theoretical Computer Science, 884:23-43, 2021. [doi]

Abstract

Abstract is missing.