Title | Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers |
---|---|
Author | Peter J. Stuckey |
Language | English |
Region | |
Format | |
Pages | 212 |
File Size | 5.1 MB |
Total Download | 1 |