News

A Characterization for Decidable Separability by Piecewise Testable Languages

Unser Papier <link https: dmtcs.episciences.org pdf>A Characterization for Decidable Separability by Piecewise Testable Languages wurde bei dem Journal Discrete Mathematics and Theoretical Computer Science (DMTCS) akzeptiert.

Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, Georg Zetsche: A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics and Theoretical Computer Science (DMTCS), vol. 19, no. 4. (2017)

Contact