Return to Article Details
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems
Download
Download PDF