%0 Conference Proceedings %1 conf/lopstr/2018 %B LOPSTR %D 2019 %E Mesnard, Fred %E Stuckey, Peter J. %I Springer %K dblp %T Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2018.html %V 11408 %@ 978-3-030-13838-7

@proceedings{conf/lopstr/2018, added-at = {2019-05-14T00:00:00.000+0200}, biburl = {https://www.bibsonomy.org/bibtex/245e923de65f532f0787ed081bbd5b814/dblp}, booktitle = {LOPSTR}, editor = {Mesnard, Fred and Stuckey, Peter J.}, ee = {https://doi.org/10.1007/978-3-030-13838-7}, interhash = {2d15d54d6aec0d5b51d83b917b8f302c}, intrahash = {45e923de65f532f0787ed081bbd5b814}, isbn = {978-3-030-13838-7}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:26:55.000+0200}, title = {Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2018.html}, volume = 11408, year = 2019 }