Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Final published version
František Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu
Original language | English |
---|---|
Title of host publication | Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) |
Editors | Manuel V. Hermenegildo, Pedro Lopez-Garcia |
Publisher | arXiv |
Number of pages | 15 |
State | Published - 18 Aug 2016 |
Event | International Symposium on Logic-based Program Synthesis and Transformation - University of Edinburgh, Edinburgh, United Kingdom Duration: 6 Sep 2016 → 8 Sep 2016 Conference number: 26 http://www.cliplab.org/Conferences/LOPSTR16/ |
Conference | International Symposium on Logic-based Program Synthesis and Transformation |
---|---|
Abbreviated title | LOPSTR 2016 |
Country | United Kingdom |
City | Edinburgh |
Period | 6/09/16 → 8/09/16 |
Internet address |
Discover related content
Find related publications, people, projects and more using interactive charts.
ID: 245112479