- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959770453
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 82
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2017
- Contributor
-
Goranko, Valentin
Dam, Mads
- URN
-
urn:nbn:de:0030-drops-78103
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:29 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
- Goranko, Valentin
- Dam, Mads
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2017
Other Objects (12)
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Computer Science Logic 2013 (CSL 2013)
26th Annual Computational Neuroscience Meeting (CNS*2017): Part 2
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Computer Science Logic 2013 (CSL 2013)
26th Annual Computational Neuroscience Meeting (CNS*2017): Part 2
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Computer Science Logic 2013 (CSL 2013)