Format:
1 online resource (986 pages)
ISBN:
9781450371049
Series Statement:
ACM Conferences
Note:
"Due to the pandemic, the symposium was held online, in co-location with ICALP2020, in the period July 8-11, being organized by Saarland Informatics Campus" - Vorwort
,
Title from The ACM Digital Library
,
Literaturangaben
Language:
English
Keywords:
Informatik
;
Logik
;
Konferenzschrift
URL:
https://av.tib.eu/series/953/thirty+fifth+annual+acm+ieee+symposium+on+logic+in+computer+science+lics+2020
Bookmarklink