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

Publikation: Buch/Konferenzbericht/Sammelband/Gutachten › Konferenz-/Tagungsband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
VerlagSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Seitenumfang734
ISBN (Print)978-3-95977-175-7
PublikationsstatusVeröffentlicht - 2021
Peer-Review-StatusJa

Publikationsreihe

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

Konferenz

Titel29th EACSL Annual Conference on Computer Science Logic
KurztitelCSL 2021
Dauer25 - 28 Januar 2021
Webseite
BekanntheitsgradInternationale Veranstaltung
OrtOnline
StadtLjubljana
LandSlowenien

Externe IDs

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

Schlagworte