Preface

Research output: Contribution to book/Conference proceedings/Anthology/ReportForeword/PostscriptContributedpeer-review

Contributors

Details

Original languageEnglish
Title of host publication29th EACSL Annual Conference on Computer Science Logic
EditorsChristel Baier, Jean Goubault-Larrecq
Number of pages2
Publication statusPublished - Jan 2021
Peer-reviewedYes

Publication series

SeriesLeibniz international proceedings in informatics : LIPIcs
Volume183
ISSN1868-8969

Conference

Title29th EACSL Annual Conference on Computer Science Logic, CSL 2021
Duration25 - 28 January 2021
CityVirtual, Ljubljana
CountrySlovenia

External IDs

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

Keywords

ASJC Scopus subject areas