TY - RPRT TI - Piecewise Testable Languages and Nondeterministic Automata AU - Tomáš Masopust PY - 2016 DO - 10.4230/lipics.mfcs.2016.67 UR - https://arxiv.org/abs/1603.00361 ID - 1603.00361 ER -