5 citations · 8 across the 2 of their papers we have counts for
2 papers
math.RA2008★ 5 cited
A Bialgebraic Approach to Automata and Formal Language Theory
James Worthington
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are "compatible". Bialgebras are normally studied over…
math.LO2008★ 3 cited
Feasibly Reducing KAT Equations to KA Equations
James Worthington
Kleene algebra (KA) is the algebra of regular events. Familiar examples of Kleene algebras include regular sets, relational algebras, and trace algebras. A Kleene algebra with test…