@inproceedings{CzerwinskiMartensVanRooijenZeitoun:FCT:2015,
    Author = {Czerwi{\'n}ski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc},
    BookTitle = {Proc. of FCT'15},
    File = {A Note on Decidable Separability by Piecewise Testable Languages - Czerwiński, Martens, Rooijen, Zeitoun (1) (0) - a - a - t.pdf},
    ISBN = {978-3-319-22176-2},
    Language = {English},
    Title = {A Note on Decidable Separability by Piecewise Testable Languages},
    URL = {http://dx.doi.org/10.1007/978-3-319-22177-9\_14},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-22177-9\_14},
    date-added = {2016-01-12 14:05:51 +0000},
    date-modified = {2020-02-06 16:39:28 +0100},
    file-2 = {A Note on Decidable Separability by Piecewise Testable Languages - Czerwiński, Martens, Rooijen, Zeitoun (0) (0) - a - a - t.pdf},
    doi = {10.1007/978-3-319-22177-9_14}
}

@inproceedings{CzerwinskiMartensVanRooijenZeitoun:FCT:2015, Author = {Czerwi{\'n}ski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc}, BookTitle = {Proc. of FCT'15}, File = {A Note on Decidable Separability by Piecewise Testable Languages - Czerwiński, Martens, Rooijen, Zeitoun (1) (0) - a - a - t.pdf}, ISBN = {978-3-319-22176-2}, Language = {English}, Title = {A Note on Decidable Separability by Piecewise Testable Languages}, URL = {http://dx.doi.org/10.1007/978-3-319-22177-9_14}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-22177-9_14}, date-added = {2016-01-12 14:05:51 +0000}, date-modified = {2020-02-06 16:39:28 +0100}, file-2 = {A Note on Decidable Separability by Piecewise Testable Languages - Czerwiński, Martens, Rooijen, Zeitoun (0) (0) - a - a - t.pdf}, doi = {10.1007/978-3-319-22177-9_14} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge