Login / Signup
A String Diagrammatic Axiomatisation of Finite-State Automata.
Robin Piedeleu
Fabio Zanasi
Published in:
CoRR (2020)
Keyphrases
</>
finite state automata
finite state machines
hybrid automata
modal logic
functional dependencies
inference rules
query processing
special case