%0 Conference Paper %1 conf/lata/VoglerDH16 %A Vogler, Heiko %A Droste, Manfred %A Herrmann, Luisa %B LATA %D 2016 %E Dediu, Adrian-Horia %E Janousek, Jan %E Martín-Vide, Carlos %E Truthe, Bianca %I Springer %K dblp %P 127-139 %T A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. %U http://dblp.uni-trier.de/db/conf/lata/lata2016.html#VoglerDH16 %V 9618 %@ 978-3-319-29999-0

@inproceedings{conf/lata/VoglerDH16, added-at = {2020-08-17T00:00:00.000+0200}, author = {Vogler, Heiko and Droste, Manfred and Herrmann, Luisa}, biburl = {https://www.bibsonomy.org/bibtex/210d5fd949f27dd0e4b44312e23a12883/dblp}, booktitle = {LATA}, crossref = {conf/lata/2016}, editor = {Dediu, Adrian-Horia and Janousek, Jan and Martín-Vide, Carlos and Truthe, Bianca}, ee = {https://doi.org/10.1007/978-3-319-30000-9_10}, interhash = {3b5fbc23d581054ff54ae2ecf70e6a7a}, intrahash = {10d5fd949f27dd0e4b44312e23a12883}, isbn = {978-3-319-29999-0}, keywords = {dblp}, pages = {127-139}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-18T11:50:58.000+0200}, title = {A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2016.html#VoglerDH16}, volume = 9618, year = 2016 }