@inproceedings{Place:LICS:2015,
    Author = {Place, Thomas},
    BookTitle = {Proc. of LICS'15},
    File = {317f9874e1be2fbfd0644d3588a9dd6807eb (0) - a - a - j.pdf},
    ISSN = {1043-6871},
    Keywords = {computational linguistics;formal logic;existential block;finite words;first order logic;quantifier alternation hierarchy;regular languages;separating regular languages;two quantifiers alternations;Automata;Bibliographies;Computer science;Context;Electronic mail;Syntactics;Vegetation;Decidable characterizations;Expressive power;First-order logic;Quantifier alternation;Regular languages;Separation;Words},
    Month = {July},
    Pages = {202--213},
    Publisher = {IEEE},
    Title = {Separating Regular Languages with Two Quantifiers Alternations},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.28},
    date-added = {2016-01-29 12:23:32 +0000},
    date-modified = {2016-01-29 12:27:04 +0000},
    doi = {10.1109/LICS.2015.28}
}

@inproceedings{Place:LICS:2015, Author = {Place, Thomas}, BookTitle = {Proc. of LICS'15}, File = {317f9874e1be2fbfd0644d3588a9dd6807eb (0) - a - a - j.pdf}, ISSN = {1043-6871}, Keywords = {computational linguistics;formal logic;existential block;finite words;first order logic;quantifier alternation hierarchy;regular languages;separating regular languages;two quantifiers alternations;Automata;Bibliographies;Computer science;Context;Electronic mail;Syntactics;Vegetation;Decidable characterizations;Expressive power;First-order logic;Quantifier alternation;Regular languages;Separation;Words}, Month = {July}, Pages = {202--213}, Publisher = {IEEE}, Title = {Separating Regular Languages with Two Quantifiers Alternations}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.28}, date-added = {2016-01-29 12:23:32 +0000}, date-modified = {2016-01-29 12:27:04 +0000}, doi = {10.1109/LICS.2015.28} }