×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 1, 4 p. (2017).
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification