1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.CO2005
String rewriting for Double Coset Systems
Ronald Brown, Neil Ghani, Anne Heyworth +1
In this paper we show how string rewriting methods can be applied to give a new method of computing double cosets. Previous methods for double cosets were enumerative and thus rest…
math.AT2002★ 1 cited
Computation and Homotopical Applications of Induced Crossed Modules
Ronald Brown, Christopher D. Wensley
We explain how the computation of induced crossed modules allows the computation of certain homotopy 2-types and, in particular, second homotopy groups. We discuss various issues i…
math.CO1999
Logged Rewriting Procedures with Application to Identities Among Relations
Anne Heyworth, Christopher D Wensley
The key idea is that rewriting procedures can be enhanced so that they not only rewrite words but record (log) how the rewriting has taken place. We introduce logged rewrite system…