Treffer: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)

Titel:

25th EACSL Annual Conference on Computer Science Logic (CSL 2016) / Herausgeber: Jean-Marc Talbot, Laurent Regnier

Verantwortlich:

Veröffentlicht:

Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2016

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

LIPIcs - Leibniz International Porceedings in Informatics ; Volume 62

ISBN:

9783959770224

Zusatz-Informationen