Original language | English |
---|---|
Title of host publication | 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023 |
Editors | Patricia Bouyer, Srikanth Srinivasan |
Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
Pages | 24:1-24:17 |
Volume | 284 |
ISBN (Electronic) | 9783959773041 |
DOIs | |
Publication status | Published - 1 Dec 2023 |
Publication series
Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Volume | 284 |
ISSN (Electronic) | 1868-8969 |
Bibliographical note
Funding Information:Funding Jacques Dark: Part of the work of J.D. was done while at the University of Warwick, supported by an EMEA Microsoft Research PhD studentship and European Research Council grant ERC-2014-CoG 647557. Christian Konrad: Supported by EPSRC New Investigator Award EP/V010611/1.
Publisher Copyright:
© 2023 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.