@Article{         CzerwinskiMartensRooijenZeitounZetzsche:CoRR:2015,
  Author        = "Czerwi{\'n}ski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg",
  Abstract      = "The separability problem for word languages of a class",
  date-added    = "2016-01-12 20:32:24 +0000",
  date-modified = "2016-01-16 14:13:22 +0000",
  EPrint        = "1410.1042",
  Journal       = "CoRR",
  Month         = "11",
  Title         = "A Characterization for Decidable Separability by Piecewise Testable Languages",
  URL           = "http://arxiv.org/abs/1410.1042",
  Volume        = "abs/1410.1042",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1410.1042",
  File          = "A Characterization for Decidable Separability by Piecewise Testable Languages - Czerwiński, Martens, Rooijen, Zeitoun, Zetzsche (0) (0) - a - a - w.pdf"
}

@Article{ CzerwinskiMartensRooijenZeitounZetzsche:CoRR:2015, Author = "Czerwi{\'n}ski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg", Abstract = "The separability problem for word languages of a class", date-added = "2016-01-12 20:32:24 +0000", date-modified = "2016-01-16 14:13:22 +0000", EPrint = "1410.1042", Journal = "CoRR", Month = "11", Title = "A Characterization for Decidable Separability by Piecewise Testable Languages", URL = "http://arxiv.org/abs/1410.1042", Volume = "abs/1410.1042", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1410.1042", File = "A Characterization for Decidable Separability by Piecewise Testable Languages - Czerwiński, Martens, Rooijen, Zeitoun, Zetzsche (0) (0) - a - a - w.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge