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