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

Contact ORBilu