Matching with multiplication and exponentiation (extended abstract)
Bernard Lang · Mathematical Structures in Computer Science · 2005
We develop a matching algorithm for an equational theory with multiplication, exponentiation and a unit element. The algorithm is proved consistent, complete and minimal using techniques based on initial algebras.