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, CSL 2021
Abbreviated titleCSL 2021
Duration25 - 28 January 2021
Website
Degree of recognitionInternational event
LocationOnline
CityLjubljana
CountrySlovenia

External IDs

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

Keywords