Manfred Droste, Stefan Dück
Weighted Automata and Logics for Infinite Nested Words
LATA, 2014.
@inproceedings{LATA-2014-DrosteD, author = "Manfred Droste and Stefan Dück", booktitle = "{Proceedings of the Eighth International Conference on Language and Automata Theory and Applications}", doi = "10.1007/978-3-319-04921-2_26", isbn = "978-3-319-04920-5", pages = "323--334", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Weighted Automata and Logics for Infinite Nested Words}", volume = 8370, year = 2014, }