@inproceedings{8005075,
    Author = {Doumane, Amina},
    BookTitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
    File = {LICS17 (0) - a - a - w.pdf},
    Keywords = {calculus;temporal logic;Kozens axiomatization;constructive completeness;linear-time {$\mu$}-calculus;Automata;Calculus;Complexity theory;Encoding;Image coding;Semantics;Shape},
    Month = {June},
    Pages = {1-12},
    Title = {Constructive completeness for the linear-time \#x03BC;-calculus},
    Year = {2017},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2017.8005075},
    date-added = {2017-10-23 12:12:24 +0000},
    date-modified = {2018-06-29 20:04:38 +0000},
    doi = {10.1109/LICS.2017.8005075}
}

@inproceedings{8005075, Author = {Doumane, Amina}, BookTitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, File = {LICS17 (0) - a - a - w.pdf}, Keywords = {calculus;temporal logic;Kozens axiomatization;constructive completeness;linear-time {$\mu$}-calculus;Automata;Calculus;Complexity theory;Encoding;Image coding;Semantics;Shape}, Month = {June}, Pages = {1-12}, Title = {Constructive completeness for the linear-time #x03BC;-calculus}, Year = {2017}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2017.8005075}, date-added = {2017-10-23 12:12:24 +0000}, date-modified = {2018-06-29 20:04:38 +0000}, doi = {10.1109/LICS.2017.8005075} }