Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

M. Alpuente
DOI: https://doi.org/10.1007/978-3-642-20551-4
Abstract:
What problem does this paper attempt to address?