Anne Heyworth

According to our database, Anne Heyworth authored at least 4 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

String rewriting for double coset systems.

Ronald Brown, Neil Ghani, Anne Heyworth, Christopher D. Wensley

J. Symb. Comput., 2006

2003

A Rewriting Alternative to Reidemeister-Schreier.

Neil Ghani, Anne Heyworth

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Computing over K-modules.

Neil Ghani, Anne Heyworth

Proceedings of the Computing: the Australasian Theory Symposium, 2002

2000

Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories.

Ronald Brown, Anne Heyworth

J. Symb. Comput., 2000