|
|
|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 1996792 | 68 |  | Emanuele De Angelis | Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7 8, 2021, Proceedings (Lecture Notes in Computer Science, 13290) | 2021 | pdf | 4/11/2022 6:28:36 AM | topron |
| 1894419 | 66 | | Maribel FernГЎndez | Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 79, 2020, Proceedings | 2021-04-07 | pdf | 2/15/2021 6:07:16 AM | maveriks |
| 1739622 | 42 |  | Maurizio Gabbrielli | Logic-Based Program Synthesis and Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers | 2020-06-27 | pdf | 4/22/2020 12:01:43 PM | maveriks |
| 1521996 | 51 |  | Fred Mesnard | Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, Se [German] | 2019 | EPUB, PDF | 4/14/2019 10:42:49 PM | topron |
| 1464813 | 68 |  | Moreno Falaschi | Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015 | 2013 | PDF | 1/5/2019 3:44:15 PM | Gustavi |
| 1248178 | 70 |  | Manuel V Hermenegildo, Pedro Lopez-Garcia | Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 68, 2016, Revised Selected Papers (Lecture Notes in Computer Science) | 2017-08-29 | PDF | 1/25/2018 7:20:40 PM | stirkout |
|
|
|
|