1. Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers /: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers. (2019) Editors: Mesnard, Fred; Stuckey, Peter J Other Names: LOPSTR (Symposium), 28th Record Type: Book Extent: 1 online resource (xx, 203 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗