%0 Journal Article %1 journals/iandc/DrosteD17 %A Droste, Manfred %A Dück, Stefan %D 2017 %J Inf. Comput. %K dblp %P 448-466 %T Weighted automata and logics for infinite nested words. %U http://dblp.uni-trier.de/db/journals/iandc/iandc253.html#DrosteD17 %V 253

@article{journals/iandc/DrosteD17, added-at = {2017-03-29T00:00:00.000+0200}, author = {Droste, Manfred and Dück, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2422cf4d0b06f7c197a94238b1591e8f4/dblp}, ee = {http://dx.doi.org/10.1016/j.ic.2016.06.010}, interhash = {3f4ae3a8a6191660bc401aabec9e32db}, intrahash = {422cf4d0b06f7c197a94238b1591e8f4}, journal = {Inf. Comput.}, keywords = {dblp}, pages = {448-466}, timestamp = {2017-03-30T11:35:38.000+0200}, title = {Weighted automata and logics for infinite nested words.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc253.html#DrosteD17}, volume = 253, year = 2017 }