%0 Conference Paper %1 conf/cai/DrosteHV15 %A Droste, Manfred %A Heusel, Doreen %A Vogler, Heiko %B CAI %D 2015 %E Maletti, Andreas %I Springer %K dblp %P 90-102 %T Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics. %U http://dblp.uni-trier.de/db/conf/cai/cai2015.html#DrosteHV15 %V 9270 %@ 978-3-319-23020-7

@inproceedings{conf/cai/DrosteHV15, added-at = {2017-05-24T00:00:00.000+0200}, author = {Droste, Manfred and Heusel, Doreen and Vogler, Heiko}, biburl = {https://www.bibsonomy.org/bibtex/27e8914666682bd828cd4f3d586b16e0e/dblp}, booktitle = {CAI}, crossref = {conf/cai/2015}, editor = {Maletti, Andreas}, ee = {https://doi.org/10.1007/978-3-319-23021-4_9}, interhash = {61b5766ed945a90500e0a68f0bc836cf}, intrahash = {7e8914666682bd828cd4f3d586b16e0e}, isbn = {978-3-319-23020-7}, keywords = {dblp}, pages = {90-102}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:31:10.000+0200}, title = {Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics.}, url = {http://dblp.uni-trier.de/db/conf/cai/cai2015.html#DrosteHV15}, volume = 9270, year = 2015 }