Pages that link to "Item:Q2233427"

The following pages link to A string diagrammatic axiomatisation of finite-state automata (Q2233427):

Displaying 3 items.

• A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
• A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
• A compositional approach to parity games (Q6653762) (← links)