Open AccessTermination orderings for associative-commutative rewriting systems
Author(s) -
Leo Bachmair,
David A. Plaisted
Publication year - 1985
Publication title -
carolina digital repository (university of north carolina at chapel hill)
Language(s) - Uncategorized
DOI - 10.17615/10cj-yk40
Subject(s) - rewriting , associative property , commutative property , computer science , mathematics , programming language , arithmetic , discrete mathematics , pure mathematics