Anne Heyworth

From MaRDI portal
(Redirected from Person:206776)



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!

PublicationDate of PublicationType
Computing over \(K\)-modules
Electronic Notes in Theoretical Computer Science
2013-07-24Paper
String rewriting for double coset systems.
Journal of Symbolic Computation
2007-10-23Paper
Logged Rewriting for Monoids2005-07-17Paper
scientific article; zbMATH DE number 2070162 (Why is no real title available?)2004-06-08Paper
scientific article; zbMATH DE number 2043547 (Why is no real title available?)2004-02-16Paper
Rewriting as a special case of non-commutative Gröbner basis theory
(available as arXiv preprint)
2002-11-04Paper
One-sided noncommutative Gröbner bases with applications to computing Green's relations
Journal of Algebra
2002-07-22Paper
Using rewriting systems to compute left Kan extensions and induced actions of categories
Journal of Symbolic Computation
2000-08-03Paper
Grobner Basis Techniques for Computing Actions of K-Categories2000-03-14Paper
Groebner Basis Procedures for Testing Petri Nets2000-02-15Paper
Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations
(available as arXiv preprint)
N/APaper
Using Automata to obtain Regular Expressions for Induced Actions
(available as arXiv preprint)
N/APaper
Logged Rewriting Procedures with Application to Identities Among Relations
(available as arXiv preprint)
N/APaper
Rewriting Procedures Generalise to Kan Extensions of Actions of Categories
(available as arXiv preprint)
N/APaper


Research outcomes over time


This page was built for person: Anne Heyworth