Regular ArticleThe ∃*∀* Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable☆
Under an Elsevier user license
open archive
Abbreviations
unification
Abbreviations
equational theories
Abbreviations
decidability
Cited by (0)
Copyright © 2002 Elsevier Science (USA). All rights reserved.