Rewriting Systems, Finiteness Conditions, and Associated Functions
Stephen J. Pride, Jing Wang · Birkhäuser Boston eBooks · 2000
Associated with any rewriting system P there is a certain two-dimensional complex D(P)independently introduced by a number of authors, and now known as the Squier complex. We adopt a geometric approach to this complex here in terms of “pictures” as in [], [].