Publication details

Saarland University Computer Science

Term Rewriting in Associative Commutative Theories with Identities

Martin Henz

Master's Thesis, State University of New York at Stony Brook, December 1991

Versions of constraint rewriting for completion of rewrite systems in the presence of associative commutative operators with identities have been proposed, in which constraints are used to limit the applicability of rewrite rules. We extend these approaches such that the initially given equations can contain constraints, and such that a suitable version of unification modulo associativity, commutativity and identity can be interleaved with the process of completion.

Download PDF        Show BibTeX               

Login to edit

Webmaster, Wed Sep 16 10:47:00 2009