| 2006 |
|---|
| 4 | EE | Ronald Brown,
Neil Ghani,
Anne Heyworth,
Christopher D. Wensley:
String rewriting for double coset systems.
J. Symb. Comput. 41(5): 573-590 (2006) |
| 2003 |
|---|
| 3 | EE | Neil Ghani,
Anne Heyworth:
A Rewriting Alternative to Reidemeister-Schreier.
RTA 2003: 452-466 |
| 2002 |
|---|
| 2 | EE | Neil Ghani,
Anne Heyworth:
Computing over K-modules.
Electr. Notes Theor. Comput. Sci. 61: (2002) |
| 2000 |
|---|
| 1 | | Ronald Brown,
Anne Heyworth:
Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories.
J. Symb. Comput. 29(1): 5-31 (2000) |
