Matching with multiplication and exponentiation (extended abstract)

BERNARD LANG
2005 Mathematical Structures in Computer Science  
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.
doi:10.1017/s0960129505004883 fatcat:ud5kinnk75bzvlbceyipxi3yru