Anne Heyworth

Available identifiers

Publication	Date of Publication	Type
Computing over \(K\)-modules	2013-07-24	Paper
String rewriting for double coset systems.	2007-10-23	Paper
Logged Rewriting for Monoids	2005-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4463898	2004-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4447251	2004-02-16	Paper
Rewriting as a special case of non-commutative Gröbner basis theory	2002-11-04	Paper
One-sided noncommutative Gröbner bases with applications to computing Green's relations	2002-07-22	Paper
Using rewriting systems to compute left Kan extensions and induced actions of categories	2000-08-03	Paper
Grobner Basis Techniques for Computing Actions of K-Categories	2000-03-14	Paper
Groebner Basis Procedures for Testing Petri Nets	2000-02-15	Paper
Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations	N/A	Paper
Using Automata to obtain Regular Expressions for Induced Actions	N/A	Paper
Logged Rewriting Procedures with Application to Identities Among Relations	N/A	Paper
Rewriting Procedures Generalise to Kan Extensions of Actions of Categories	N/A	Paper

This page was built for person: Anne Heyworth