Login / Signup
Union of Equational Theories: An Algebraic Approach.
Piotr Hoffman
Published in:
RTA (2005)
Keyphrases
</>
equational theories
theorem proving
function symbols
general purpose
algebraic operations