Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems

Frank Hermann. Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems. ECEASST, 16, 2008. [doi]

Abstract

Abstract is missing.