Login / Signup
Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs.
Klaus-Tycho Foerster
Thomas Luedi
Jochen Seidel
Roger Wattenhofer
Published in:
Theor. Comput. Sci. (2018)
Keyphrases
</>
edit distance
transitive closure
biological sequences
neural network
state space
string matching
finite automata
website