01583nam 22004213 450 99667867200331620250916080333.03-032-04848-6(MiAaPQ)EBC32294519(Au-PeEL)EBL32294519(CKB)40943239600041(OCoLC)1545003831(EXLCZ)994094323960004120250916d2025 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogic-Based Program Synthesis and Transformation 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings1st ed.Cham :Springer,2025.©2026.1 online resource (386 pages)Lecture Notes in Computer Science Series ;v.161173-032-04847-8 This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9-10, 2025.The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from  21 submissions.Lecture Notes in Computer Science Series005.115Escobar Santiago1439236Titolo Laura1429403MiAaPQMiAaPQMiAaPQBOOK996678672003316Logic-Based Program Synthesis and Transformation4442727UNISA