27th EACSL Annual Conference on Computer Science Logic (CSL 2018)

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783959770880
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 119

Event
Veröffentlichung
(where)
Wadern
(who)
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
(when)
2018
Contributor
Ghica, Dan
Jung, Achim

URN
urn:nbn:de:0030-drops-97444
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:51 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Ghica, Dan
  • Jung, Achim
  • Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Time of origin

  • 2018

Other Objects (12)