Preface

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Vor-/Nachwort › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Titel29th EACSL Annual Conference on Computer Science Logic
Redakteure/-innenChristel Baier, Jean Goubault-Larrecq
Seitenumfang2
PublikationsstatusVeröffentlicht - Jan. 2021
Peer-Review-StatusJa

Publikationsreihe

ReiheLeibniz international proceedings in informatics : LIPIcs
Band183
ISSN1868-8969

Konferenz

Titel29th EACSL Annual Conference on Computer Science Logic, CSL 2021
Dauer25 - 28 Januar 2021
StadtVirtual, Ljubljana
LandSlowenien

Externe IDs

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

Schlagworte

ASJC Scopus Sachgebiete