Anne Heyworth

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

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