Pages that link to "Item:Q2233427"
From MaRDI portal
The following pages link to A string diagrammatic axiomatisation of finite-state automata (Q2233427):
Displaying 6 items.
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Automata Presenting Structures: A Survey of the Finite String Case (Q3503740) (← links)
- Implementation and Application of Automata (Q5463973) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- A String Diagrammatic Axiomatisation of Finite-State Automata (Q6350228) (← links)
- A compositional approach to parity games (Q6653762) (← links)