@Article{         Hachaichi:2016aa,
  Author        = {Hacha{\"\i}chi, Yassine},
  Abstract      = "We give in this paper a logical characterization for unambiguous Context Free Languages, in the vein of descriptive complexity. A fragment of the logic characterizing context free languages given by Lautemann, Schwentick and Th\'erien [18] based on implicit definability is used for this aim. We obtain a new connection between two undecidable problems, a logical one and a language theoretical one.",
  date-added    = "2018-01-14 12:54:25 +0000",
  date-modified = "2018-01-14 12:54:34 +0000",
  EPrint        = "1604.04139",
  Keywords      = "unambiguous context-free languages",
  Month         = "04",
  Title         = "Logic for Unambiguous Context-Free Languages",
  URL           = "https://arxiv.org/abs/1604.04139",
  Year          = "2016",
  bdsk-url-1    = "https://arxiv.org/abs/1604.04139",
  File          = "245-611-1-PB (0) - a - a - l.pdf"
}

@Article{ Hachaichi:2016aa, Author = {Hacha{\"\i}chi, Yassine}, Abstract = "We give in this paper a logical characterization for unambiguous Context Free Languages, in the vein of descriptive complexity. A fragment of the logic characterizing context free languages given by Lautemann, Schwentick and Th\'erien [18] based on implicit definability is used for this aim. We obtain a new connection between two undecidable problems, a logical one and a language theoretical one.", date-added = "2018-01-14 12:54:25 +0000", date-modified = "2018-01-14 12:54:34 +0000", EPrint = "1604.04139", Keywords = "unambiguous context-free languages", Month = "04", Title = "Logic for Unambiguous Context-Free Languages", URL = "https://arxiv.org/abs/1604.04139", Year = "2016", bdsk-url-1 = "https://arxiv.org/abs/1604.04139", File = "245-611-1-PB (0) - a - a - l.pdf" }