Publication | Closed Access

Complexity of unification problems with associative-commutative operators

Algebraic LogicEngineeringAutomated ReasoningFormal MethodsDescriptional ComplexityUnification ProblemsComputability Theory