Publication | Closed Access
An Algorithm for Unification in Equational Theories.
57
Citations
0
References
1986
Year
Equational TheoriesEngineeringAutomated ReasoningFormal MethodsEquational LogicHigher-order Logic
No additional data available for this publication yet. Check back later!