@misc{indiciae84cd102307c2, title = {Weighted Automata and Logics for Infinite Nested Words}, author = {Manfred Droste and Stefan Dück}, year = {2015}, doi = {10.1007/978-3-319-04921-2\_26}, url = {https://arxiv.org/abs/1506.07031}, note = {Source identifier: 1506.07031} }