Bangor)

Identifiers

No identifiers captured yet.

Papers (8)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Anne Heyworth (University of Wales 7 shared papers
• Angie Chandler (Lancaster University) 1 shared papers
• Anne Heyworth 1 shared papers
• Christopher D Wensley (University Of Wales 1 shared papers
• Ronald Brown 1 shared papers