Matching with multiplication and exponentiation (extended abstract)Written May 1978 – see the historical note at the end of the paper.
LANG, BERNARD; LANG BERNARD; Domaine de Voluceau
Журнал:
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.
108.3Кб