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]

No reviews for this publication, yet.