Media type: E-Book; Conference Proceedings Title: 31st EACSL Annual Conference on Computer Science Logic : CSL 2023, February 13-16, 2023, Warsaw, Poland Other titles: Abweichender Titel: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023) Abweichender Titel: CSL 2023 Contributor: Klin, Bartek [Editor]; Pimentel, Elaine [Editor] Corporation: European Association for Computer Science Logic Published: Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, February, 2023 Published in: Leibniz international proceedings in informatics ; 252 Extent: 1 Online-Ressource Language: English DOI: 10.4230/LIPIcs.CSL.2023.0 ISBN: 9783959772648 Identifier: Keywords: Theoretische Informatik > Logik > Computational logic > Logische Programmierung > Programmierlogik Origination: Footnote: Literaturangaben Access State: Open Access Rights information: Attribution (CC BY)