Media type: Text; Electronic Conference Proceeding Title: Computer Science Logic 2018: CSL 2018, September 4-8, 2018, Birmingham, United Kingdom Contributor: EACSL Annual Conference on Computer Science Logic <27., 2018, Birmingham> [Author] Published: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018-08 Extent: 734 Seiten Language: English DOI: https://doi.org/10.4230/LIPIcs.CSL.2018.0 ISBN: 9783959770880 Keywords: conference_publication ; Theoretische Informatik -- Logik -- Computational logic -- Logische Programmierung ; Book Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: Attribution (CC BY)