Resumen de Matching with multiplication and exponentiation (extended abstract)

Bernard Lang

• 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.