A String Diagrammatic Axiomatisation of Finite-State Automata.

Robin Piedeleu, Fabio Zanasi

Browse the full FOSSACS paper archive.