%0 Journal Article %1 journals/soco/LarsenMX18 %A Larsen, Kim G. %A Mardare, Radu %A Xue, Bingtian %D 2018 %J Soft Comput. %K dblp %N 4 %P 1085-1102 %T On decidability of recursive weighted logics. %U http://dblp.uni-trier.de/db/journals/soco/soco22.html#LarsenMX18 %V 22

@article{journals/soco/LarsenMX18, added-at = {2018-03-05T00:00:00.000+0100}, author = {Larsen, Kim G. and Mardare, Radu and Xue, Bingtian}, biburl = {https://www.bibsonomy.org/bibtex/228b2ca4cf2dc95342df35ee9ceb2f1ca/dblp}, ee = {https://doi.org/10.1007/s00500-016-2193-z}, interhash = {c636c962552e22fdab08c10f456fc262}, intrahash = {28b2ca4cf2dc95342df35ee9ceb2f1ca}, journal = {Soft Comput.}, keywords = {dblp}, number = 4, pages = {1085-1102}, timestamp = {2018-03-06T11:35:36.000+0100}, title = {On decidability of recursive weighted logics.}, url = {http://dblp.uni-trier.de/db/journals/soco/soco22.html#LarsenMX18}, volume = 22, year = 2018 }