Anne Heyworth

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

4 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 Neil Ghani, Anne Heyworth: A Rewriting Alternative to Reidemeister-Schreier. RTA 2003: 452-466

2002

2 Neil Ghani, Anne Heyworth: Computing over K-modules. Electr. Notes Theor. Comput. Sci. 61: 34-50 (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)

	2006
4		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		Neil Ghani, Anne Heyworth: A Rewriting Alternative to Reidemeister-Schreier. RTA 2003: 452-466
	2002
2		Neil Ghani, Anne Heyworth: Computing over K-modules. Electr. Notes Theor. Comput. Sci. 61: 34-50 (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)

Coauthor Index

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page