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]

Authors

Frank Hermann

This author has not been identified. It may be one of the following persons: Look up 'Frank Hermann' in Google