2 papers
cs.LO2017
Critical Peaks Redefined -
Nao Hirokawa, Julian Nagele, Vincent van Oostrom +1
Let a cluster be a term with a number of patterns occurring in it. We give two accounts of clusters, a geometric one as sets of (node and edge) positions, and an inductive one as p…
cs.LO2006
Using groups for investigating rewrite systems
Patrick Dehornoy
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with a family of algebraic laws, and might be useful for more genera…