LIPIcs, Volume 326, CSL 2025, Complete Volume

Endrullis, Jörg; Schmitz, Sylvain

doi:10.4230/LIPIcs.CSL.2025

Document

LIPIcs, Volume 326, CSL 2025, Complete Volume

Authors Jörg Endrullis , Sylvain Schmitz

Part of: Volume: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
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: 2025-02-03

PDF

File

PDF

LIPIcs.CSL.2025.pdf

Filesize: 15.99 MB
988 pages

Document Identifiers

DOI: 10.4230/LIPIcs.CSL.2025
URN: urn:nbn:de:0030-drops-228130

Subject Classification

ACM Subject Classification

Theory of computation → Logic

Keywords

LIPIcs, Volume 326, CSL 2025, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

LIPIcs, Volume 326, CSL 2025, Complete Volume

Cite As Get BibTex

33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 326, pp. 1-988, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.CSL.2025

Author Details

Jörg Endrullis

Vrije Universiteit Amsterdam, Amsterdam, the Netherlands

Sylvain Schmitz

Université Paris Cité, CNRS, IRIF, Paris, France

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail