collaborators

1 paper

cs.FL2016

Logic for Unambiguous Context-Free Languages

Yassine Hachaïchi

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…