%0 Conference Paper %1 conf/dlt/Skrzypczak17 %A Skrzypczak, Michal %B DLT %D 2017 %E Charlier, Émilie %E Leroy, Julien %E Rigo, Michel %I Springer %K dblp %P 75-79 %T Connecting Decidability and Complexity for MSO Logic. %U http://dblp.uni-trier.de/db/conf/dlt/dlt2017.html#Skrzypczak17 %V 10396 %@ 978-3-319-62809-7

@inproceedings{conf/dlt/Skrzypczak17, added-at = {2017-07-21T00:00:00.000+0200}, author = {Skrzypczak, Michal}, biburl = {https://www.bibsonomy.org/bibtex/2ac5cde91d368ca15528515e4c2296fa4/dblp}, booktitle = {DLT}, crossref = {conf/dlt/2017}, editor = {Charlier, Émilie and Leroy, Julien and Rigo, Michel}, ee = {https://doi.org/10.1007/978-3-319-62809-7_4}, interhash = {100423da232a9e1123f996c83aa33c58}, intrahash = {ac5cde91d368ca15528515e4c2296fa4}, isbn = {978-3-319-62809-7}, keywords = {dblp}, pages = {75-79}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:20:19.000+0200}, title = {Connecting Decidability and Complexity for MSO Logic.}, url = {http://dblp.uni-trier.de/db/conf/dlt/dlt2017.html#Skrzypczak17}, volume = 10396, year = 2017 }