A Note on Decidable Separability by Piecewise Testable Languages
From MaRDI portal
Publication:2947878
DOI10.1007/978-3-319-22177-9_14zbMath1434.68242MaRDI QIDQ2947878
Wim Martens, Lorijn van Rooijen, Wojciech Czerwiński, Marc Zeitoun
Publication date: 29 September 2015
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-22177-9_14
68Q45: Formal languages and automata