- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959772648
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 252
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2023
- Contributor
-
Klin, Bartek
Pimentel, Elaine
- URN
-
urn:nbn:de:0030-drops-174603
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Klin, Bartek
- Pimentel, Elaine
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2023
Other Objects (12)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
31st Annual European Symposium on Algorithms (ESA 2023)
Computer Science Logic 2013 (CSL 2013)
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
31st Annual European Symposium on Algorithms (ESA 2023)
Computer Science Logic 2013 (CSL 2013)
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
31st Annual European Symposium on Algorithms (ESA 2023)
Computer Science Logic 2013 (CSL 2013)