Publication
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Related publications (31)
Katrin Beyer, Igor Tomic, Andrea Penna
Athanasios Nenes, Paraskevi Georgakaki
Michel Bierlaire, Marija Kukic
Delphine Ribes Lemay, Nicolas Henchoz, Emily Clare Groves, Margherita Motta
Matthias Finger, Konstantin Androsov, Qian Wang, Jan Steggemann, Yiming Li, Anna Mascellani, Varun Sharma, Xin Chen, Rakesh Chawla, Matteo Galli
Andrea Rinaldo, Gianluca Botter
John Martin Kolinski, Chenzhuo Li, Xinyue Wei