%0 Journal Article %1 journals/jcss/BoiretHNT19 %A Boiret, Adrien %A Hugot, Vincent %A Niehren, Joachim %A Treinen, Ralf %D 2019 %J J. Comput. Syst. Sci. %K dblp %P 149-164 %T Logics for unordered trees with data constraints. %U http://dblp.uni-trier.de/db/journals/jcss/jcss104.html#BoiretHNT19 %V 104

@article{journals/jcss/BoiretHNT19, added-at = {2019-06-14T00:00:00.000+0200}, author = {Boiret, Adrien and Hugot, Vincent and Niehren, Joachim and Treinen, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/266f8d5df3171d9ab406f3dfe71a984da/dblp}, ee = {https://doi.org/10.1016/j.jcss.2018.11.004}, interhash = {d32f457d32a03c25e1d8411b6f293c20}, intrahash = {66f8d5df3171d9ab406f3dfe71a984da}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, pages = {149-164}, timestamp = {2019-06-15T11:38:31.000+0200}, title = {Logics for unordered trees with data constraints.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss104.html#BoiretHNT19}, volume = 104, year = 2019 }