29th EACSL Annual Conference on Computer Science Logic: CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)

Research output: Book/Conference proceeding/Anthology/Report › Conference proceeding › Contributed › peer-review

Contributors

Details

Original languageEnglish
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages734
ISBN (print)978-3-95977-175-7
Publication statusPublished - 2021
Peer-reviewedYes

Publication series

Series29th EACSL Annual Conference on Computer Science Logic (CSL 2021) ; Vol. 183
Volume183
ISSN1868-8969

Conference

Title29th EACSL Annual Conference on Computer Science Logic
Abbreviated titleCSL 2021
Conference number
Duration25 - 28 January 2021
Degree of recognitionInternational event
Location
Cityonline

External IDs

ORCID /0000-0002-5321-9343/work/142658427

Keywords