@Article{         Place:2017ab,
  Author        = "Place, Thomas",
  Abstract      = "We investigate a famous decision problem in automata theory: separation. Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one and is disjoint from the second. Typically, obtaining an algorithm for separation yields a deep understanding of the investigated class C. Therefore, a lot of effort has been devoted to finding algorithms for the most prominent classes.",
  date-added    = "2017-09-16 15:42:19 +0000",
  date-modified = "2017-09-16 15:42:19 +0000",
  EPrint        = "1707.03295",
  Month         = "07",
  Title         = "Separating regular languages with two quantifier alternations",
  URL           = "https://arxiv.org/abs/1707.03295",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1707.03295",
  File          = "1707.03295 (0) - a - a - g.pdf",
  file-2        = "1707.03295v1 (0) - a - a - g.pdf"
}

@Article{ Place:2017ab, Author = "Place, Thomas", Abstract = "We investigate a famous decision problem in automata theory: separation. Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one and is disjoint from the second. Typically, obtaining an algorithm for separation yields a deep understanding of the investigated class C. Therefore, a lot of effort has been devoted to finding algorithms for the most prominent classes.", date-added = "2017-09-16 15:42:19 +0000", date-modified = "2017-09-16 15:42:19 +0000", EPrint = "1707.03295", Month = "07", Title = "Separating regular languages with two quantifier alternations", URL = "https://arxiv.org/abs/1707.03295", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1707.03295", File = "1707.03295 (0) - a - a - g.pdf", file-2 = "1707.03295v1 (0) - a - a - g.pdf" }