Anne Heyworth

MaRDI QIDQ206776zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations (available as arXiv preprint)	N/A	Paper
Using Automata to obtain Regular Expressions for Induced Actions (available as arXiv preprint)	N/A	Paper
Logged Rewriting Procedures with Application to Identities Among Relations (available as arXiv preprint)	N/A	Paper
Rewriting Procedures Generalise to Kan Extensions of Actions of Categories (available as arXiv preprint)	N/A	Paper
Computing over K-modules Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
String rewriting for double coset systems. Journal of Symbolic Computation	2007-10-23	Paper
Logged Rewriting for Monoids	2005-07-17	Paper
scientific article; zbMATH DE number 2070162 (Why is no real title available?)	2004-06-08	Paper
scientific article; zbMATH DE number 2043547 (Why is no real title available?)	2004-02-16	Paper
Rewriting as a special case of non-commutative Gröbner basis theory (available as arXiv preprint)	2002-11-04	Paper
One-sided noncommutative Gröbner bases with applications to computing Green's relations Journal of Algebra	2002-07-22	Paper
Using rewriting systems to compute left Kan extensions and induced actions of categories Journal of Symbolic Computation	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

Research outcomes over time

This page was built for person: Anne Heyworth