- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783939897606
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 23
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2013
- Contributor
-
Ronchi della Rocca, Simona
- URN
-
urn:nbn:de:0030-drops-42256
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:04 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
- Ronchi della Rocca, Simona
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2013
Other Objects (12)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
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
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
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
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
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