%0 Journal Article %1 journals/darts/MayerHK17 %A Mayer, Mikaël %A Hamza, Jad %A Kuncak, Viktor %D 2017 %J Dagstuhl Artifacts Ser. %K %N 2 %P 16:1-16:2 %T Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact). %U http://dblp.uni-trier.de/db/journals/darts/darts3.html#MayerHK17 %V 3

@article{journals/darts/MayerHK17, added-at = {2023-12-14T15:23:45.000+0100}, author = {Mayer, Mikaël and Hamza, Jad and Kuncak, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/2a0a530c1f9777c34647f357463496663/admin}, ee = {https://doi.org/10.4230/DARTS.3.2.16}, interhash = {ea9b55ce31ea4c3662492ac82993ba5c}, intrahash = {a0a530c1f9777c34647f357463496663}, journal = {Dagstuhl Artifacts Ser.}, keywords = {}, number = 2, pages = {16:1-16:2}, timestamp = {2023-12-14T15:23:45.000+0100}, title = {Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact).}, url = {http://dblp.uni-trier.de/db/journals/darts/darts3.html#MayerHK17}, volume = 3, year = 2017 }