The following pages link to Anne Heyworth (Q206776):
Displaying 11 items.
- Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490) (← links)
- String rewriting for double coset systems. (Q2457349) (← links)
- Rewriting as a special case of non-commutative Gröbner basis theory (Q2702049) (← links)
- Computing over \(K\)-modules (Q2841256) (← links)
- (Q4447251) (← links)
- (Q4463898) (← links)
- One-sided noncommutative Gröbner bases with applications to computing Green's relations (Q5945117) (← links)
- Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations (Q6501126) (← links)
- Using Automata to obtain Regular Expressions for Induced Actions (Q6501375) (← links)
- Logged Rewriting Procedures with Application to Identities Among Relations (Q6501402) (← links)
- Rewriting Procedures Generalise to Kan Extensions of Actions of Categories (Q6501403) (← links)
