LIPIcs, Volume 363, CSL 2026, Complete Volume

Guerrini, Stefano; König, Barbara

doi:10.4230/LIPIcs.CSL.2026

Document

LIPIcs, Volume 363, CSL 2026, Complete Volume

Authors Stefano Guerrini, Barbara König

Part of: Volume: 34th EACSL Annual Conference on Computer Science Logic (CSL 2026)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: Computer Science Logic (CSL)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2026-02-18

PDF

File

PDF

LIPIcs.CSL.2026.pdf

Filesize: 32.24 MB
958 pages

Document Identifiers

DOI: 10.4230/LIPIcs.CSL.2026
URN: urn:nbn:de:0030-drops-254885

Subject Classification

ACM Subject Classification

Theory of computation → Logic

Keywords

LIPIcs, Volume 363, CSL 2026, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

LIPIcs, Volume 363, CSL 2026, Complete Volume

Cite As Get BibTex

34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 363, pp. 1-958, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/LIPIcs.CSL.2026

Author Details

Stefano Guerrini

Sorbonne Paris Nord University, France

Barbara König

University of Duisburg-Essen, Germany

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail