TY  - JOUR
AU  - Czerwiński, Wojciech
AU  - Martens, Wim
AU  - van Rooijen, Lorijn
AU  - Zeitoun, Marc
AU  - Zetzsche, Georg
TI  - A Characterization for Decidable Separability by Piecewise Testable Languages
JO  - Discrete mathematics & theoretical computer science
PY  - 2017-2018
VL  - 19
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-19-4-1/
DO  - 10.23638/DMTCS-19-4-1
LA  - en
ID  - DMTCS_2017_19_4_a2
ER  -