scientific article
From MaRDI portal
Publication:3484371
zbMath0704.68082MaRDI QIDQ3484371
Robert McNaughton, Robert McCloskey, Sam M. Kim
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order ⋮ Optimal estimation on the order of local testability of finite automata