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) |
1 | Ronald Brown | [1] [4] |
2 | Neil Ghani | [2] [3] [4] |
3 | Christopher D. Wensley | [4] |