TY - RPRT TI - A Characterization for Decidable Separability by Piecewise Testable Languages AU - Wojciech CzerwiƄski AU - Wim Martens AU - Lorijn van Rooijen AU - Marc Zeitoun AU - Georg Zetzsche PY - 2017 DO - 10.23638/dmtcs-19-4-1 UR - https://arxiv.org/abs/1410.1042 ID - 1410.1042 ER -