dblp.uni-trier.dewww.uni-trier.de

Anne Heyworth

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EERonald Brown, Neil Ghani, Anne Heyworth, Christopher D. Wensley: String rewriting for double coset systems. J. Symb. Comput. 41(5): 573-590 (2006)
2003
3EENeil Ghani, Anne Heyworth: A Rewriting Alternative to Reidemeister-Schreier. RTA 2003: 452-466
2002
2EENeil 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)

Coauthor Index

1Ronald Brown [1] [4]
2Neil Ghani [2] [3] [4]
3Christopher D. Wensley [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)