Media type: E-Book; Conference Proceedings Title: 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) Other titles: Abweichender Titel: CSL 2021 Contributor: Baier, Christel [Editor]; Goubault-Larrecq, Jean [Editor] Corporation: European Association for Computer Science Logic Published: Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January, 2021 Published in: Leibniz international proceedings in informatics ; 183 Extent: 1 Online-Ressource; Illustrationen Language: English DOI: 10.4230/LIPIcs.CSL.2021.0 ISBN: 9783959771757 Identifier: Keywords: Theoretische Informatik > Logik > Computational logic > Logische Programmierung > Programmierlogik Origination: Footnote: Literaturangaben Access State: Open Access Rights information: Attribution (CC BY)