1 citations · 1 across the 2 of their papers we have counts for
6 papers · 1 filter
Logged Rewriting Procedures with Application to Identities Among Relations
Anne Heyworth, Christopher D Wensley
The key idea is that rewriting procedures can be enhanced so that they not only rewrite words but record (log) how the rewriting has taken place. We introduce logged rewrite system…
Rewriting Procedures Generalise to Kan Extensions of Actions of Categories
Anne Heyworth
Kan extensions provide a natural general framework for a variety of combinatorial problems. We have developed rewriting procedures for Kan extensions (over the category of sets) an…
Using Automata to obtain Regular Expressions for Induced Actions
Anne Heyworth
Presentations of Kan extensions of category actions provide a natural framework for expressing induced actions, and therefore a range of different combinatorial problems. Rewrite s…
One-sided Noncommutative Groebner Bases with Applications to Green's Relations
Anne Heyworth
Standard noncommutative Gröbner basis procedures are used for computing ideals of free noncommutative polynomial rings over fields. This paper describes Gröbner basis procedures fo…
Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories
Ronald Brown, Anne Heyworth
The basic method of rewriting for words in a free monoid given a monoid presentation is extended to rewriting for paths in a free category given a `Kan extension presentation'. Thi…
Rewriting as a Special Case of Noncommutative Groebner Basis Theory
Anne Heyworth
Rewriting for semigroups is a special case of Groebner basis theory for noncommutative polynomial algebras. The fact is a kind of folklore but is not fully recognised. The aim of t…