A string diagrammatic axiomatisation of finite-state automata

From MaRDI portal
Publication:2233427

DOI10.1007/978-3-030-71995-1_24OpenAlexW3146630147MaRDI QIDQ2233427

Fabio Zanasi, Robin Piedeleu

Publication date: 18 October 2021

Full work available at URL: https://arxiv.org/abs/2009.14576




Related Items (2)



Cites Work


This page was built for publication: A string diagrammatic axiomatisation of finite-state automata