×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL'15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 374-389 (2015).
MSC:  68N30 68N18 68Q55
BibTeX Cite
Full Text: DOI
WorldCat.org
Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 173-189 (2012).
MSC:  68Q55 03B70 91A80
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Year of Publication
Classification
Software