1 citations · 1 across the 2 of their papers we have counts for
Showing 2000Show all
2 papers · 1 filter
math.CO2000
Grobner Basis Techniques for Computing Actions of K-Categories
Anne Heyworth
This paper involves categories and computer science. The paper is motivated by a question which arises from two pieces of research. Firstly, the work of Brown and Heyworth which ex…
math.CO2000
Groebner Basis Procedures for Testing Petri Nets
Angie Chandler, Anne Heyworth
This paper contains introductory material on Petri nets and Groebner basis theory and makes some observations on the relation between the two areas. The aim of the paper is to show…