26th EACSL Annual Conference on Computer Science Logic (CSL 2017)

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.

Associated

  • Goranko, Valentin
  • Dam, Mads
  • Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Time of origin

  • 2017

Other Objects (12)