Preface
Research output: Contribution to book/Conference proceedings/Anthology/Report › Foreword/Postscript › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | 29th EACSL Annual Conference on Computer Science Logic |
Editors | Christel Baier, Jean Goubault-Larrecq |
Number of pages | 2 |
Publication status | Published - Jan 2021 |
Peer-reviewed | Yes |
Publication series
Series | Leibniz international proceedings in informatics : LIPIcs |
---|---|
Volume | 183 |
ISSN | 1868-8969 |
Conference
Title | 29th EACSL Annual Conference on Computer Science Logic, CSL 2021 |
---|---|
Duration | 25 - 28 January 2021 |
City | Virtual, Ljubljana |
Country | Slovenia |
External IDs
ORCID | /0000-0002-5321-9343/work/160951227 |
---|