%0 Conference Paper %1 conf/popl/DAntoniV17 %A D'Antoni, Loris %A Veanes, Margus %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K dblp %P 232-245 %T Monadic second-order logic on finite sequences. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#DAntoniV17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/DAntoniV17, added-at = {2021-06-14T00:00:00.000+0200}, author = {D'Antoni, Loris and Veanes, Margus}, biburl = {https://www.bibsonomy.org/bibtex/2bbe8a2a7ead865fe3cb060616ac53740/dblp}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {https://doi.org/10.1145/3093333.3009844}, interhash = {213cbe861286c94cc5a791c941ff1068}, intrahash = {bbe8a2a7ead865fe3cb060616ac53740}, isbn = {978-1-4503-4660-3}, keywords = {dblp}, pages = {232-245}, publisher = {ACM}, timestamp = {2024-04-09T13:30:08.000+0200}, title = {Monadic second-order logic on finite sequences.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#DAntoniV17}, year = 2017 }