Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783939897422
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 16
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2012
- Contributor
-
Cégielski, Patrick
Durand, Arnaud
- URN
-
urn:nbn:de:0030-drops-36966
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 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
- Cégielski, Patrick
- Durand, Arnaud
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2012
Other Objects (12)
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
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)
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
Computer Science Logic 2013 (CSL 2013)
Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
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)
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
Computer Science Logic 2013 (CSL 2013)
Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
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)
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
Computer Science Logic 2013 (CSL 2013)