Tree Automata Help One To Solve Equational Formulae In AC-Theories

• 1 October 1994
• journal article
• Published by Elsevier in Journal of Symbolic Computation
• Vol. 18  (4) , 297-318
• https://doi.org/10.1006/jsco.1994.1049

Abstract

Keywords

• EQUATIONAL FORMULA