The following pages link to James Worthington (Q408528):
Displayed 7 items.
- A bialgebraic approach to automata and formal language theory (Q408529) (← links)
- Feasibility checking in Horn constraint systems through a reduction based approach (Q2344728) (← links)
- A New Algorithm for Linear and Integer Feasibility in Horn Constraints (Q3003291) (← links)
- GRAPH PRODUCTS AND CANNON PAIRS (Q3043634) (← links)
- Automatic Proof Generation in Kleene Algebra (Q3498428) (← links)
- A Bialgebraic Approach to Automata and Formal Language Theory (Q3605547) (← links)
- Feasibly Reducing KAT Equations to KA Equations (Q6208118) (← links)