- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783939897903
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 41
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2015
- Contributor
-
Kreutzer, Stephan
- URN
-
urn:nbn:de:0030-drops-54670
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:48 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
- Kreutzer, Stephan
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2015
Other Objects (12)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
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)
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
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 (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
Computer Science Logic 2013 (CSL 2013)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
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)
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
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 (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
Computer Science Logic 2013 (CSL 2013)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
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)
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
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 (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL