%0 Conference Paper %1 conf/fsttcs/LeHL16 %A Le, Xuan Bach %A Hobor, Aquinas %A Lin, Anthony W. %B FSTTCS %D 2016 %E Lal, Akash %E Akshay, S. %E Saurabh, Saket %E Sen, Sandeep %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 19:1-19:14 %T Decidability and Complexity of Tree Share Formulas. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2016.html#LeHL16 %V 65 %@ 978-3-95977-027-9

@inproceedings{conf/fsttcs/LeHL16, added-at = {2022-04-09T00:00:00.000+0200}, author = {Le, Xuan Bach and Hobor, Aquinas and Lin, Anthony W.}, biburl = {https://www.bibsonomy.org/bibtex/268f9e419d6c7daff588f411eb349c2c2/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2016}, editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.19}, interhash = {3e8f361698ef5864f264339c1348adda}, intrahash = {68f9e419d6c7daff588f411eb349c2c2}, isbn = {978-3-95977-027-9}, keywords = {dblp}, pages = {19:1-19:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T01:21:36.000+0200}, title = {Decidability and Complexity of Tree Share Formulas.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2016.html#LeHL16}, volume = 65, year = 2016 }