The following pages link to Anne Heyworth (Q206776):
Displayed 10 items.
- Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490) (← links)
- String rewriting for double coset systems. (Q2457349) (← links)
- (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)
- Groebner Basis Procedures for Testing Petri Nets (Q6470239) (← links)
- Grobner Basis Techniques for Computing Actions of K-Categories (Q6470298) (← links)
- Logged Rewriting for Monoids (Q6475790) (← links)