Anne Heyworth (University of Wales

Identifiers

No identifiers captured yet.

Papers (7)

1. Grobner Basis Techniques for Computing Actions of K-Categories math.CO · 2000 · author #1
2. Groebner Basis Procedures for Testing Petri Nets math.CO · 2000 · author #2
3. Rewriting Procedures Generalise to Kan Extensions of Actions of Categories math.CO · 1999 · author #1
4. Using Automata to obtain Regular Expressions for Induced Actions math.CO · 1999 · author #1
5. One-sided Noncommutative Groebner Bases with Applications to Green's Relations math.RA · 1999 · author #1
6. Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories math.CO · 1999 · author #2
7. Rewriting as a Special Case of Noncommutative Groebner Basis Theory math.CO · 1999 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Bangor) 7 shared papers
• Angie Chandler (Lancaster University) 1 shared papers
• Ronald Brown 1 shared papers