@Article{         Place:2017aa,
  Author        = "Place, Thomas and Zeitoun, Marc",
  Abstract      = {An important endeavor in computer science is to understand the expressive power of logical formalisms over discrete structures, such as words. Naturally, "understanding" is not a mathematical notion. This investigation requires therefore a concrete objective to capture this understanding. In the literature, the standard choice for this objective is the membership problem, whose aim is to find a procedure deciding whether an input regular language can be defined in the logic under investigation. This approach was cemented as the right one by the seminal work of Sch\"utzenberger, McNaughton and Papert on first-order logic and has been in use since then.},
  date-added    = "2017-09-16 15:41:47 +0000",
  date-modified = "2017-09-16 15:41:47 +0000",
  EPrint        = "1707.03370",
  Month         = "07",
  Title         = "The Covering Problem",
  URL           = "https://arxiv.org/abs/1707.03370",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1707.03370",
  File          = "1707.03370v3 (0) - a - a - z.pdf"
}

@Article{ Place:2017aa, Author = "Place, Thomas and Zeitoun, Marc", Abstract = {An important endeavor in computer science is to understand the expressive power of logical formalisms over discrete structures, such as words. Naturally, "understanding" is not a mathematical notion. This investigation requires therefore a concrete objective to capture this understanding. In the literature, the standard choice for this objective is the membership problem, whose aim is to find a procedure deciding whether an input regular language can be defined in the logic under investigation. This approach was cemented as the right one by the seminal work of Sch\"utzenberger, McNaughton and Papert on first-order logic and has been in use since then.}, date-added = "2017-09-16 15:41:47 +0000", date-modified = "2017-09-16 15:41:47 +0000", EPrint = "1707.03370", Month = "07", Title = "The Covering Problem", URL = "https://arxiv.org/abs/1707.03370", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1707.03370", File = "1707.03370v3 (0) - a - a - z.pdf" }