Search Results for Gallagher, John P. - Narrowed by: 2018 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dGallagher$00252C$002bJohn$002bP.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026ic$003dtrue$0026ps$003d300? 2024-12-02T16:59:55Z Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401110 2024-12-02T16:59:55Z 2024-12-02T16:59:55Z Author&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;Sulzmann, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399611 2024-12-02T16:59:55Z 2024-12-02T16:59:55Z Author&#160;Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>