Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)
Logic in Computer Science
2018-09-12 v3
Abstract
This volume constitutes the pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), held on 4-6th September 2018 in Frankfurt am Main, Germany and co-located with the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) and the 26th International Workshop on Functional and Logic Programming (WFLP 2018).
Keywords
Cite
@article{arxiv.1808.03326,
title = {Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)},
author = {Fred Mesnard and Peter J. Stuckey},
journal= {arXiv preprint arXiv:1808.03326},
year = {2018}
}
Comments
Corrected typos