×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–3)

LIPIcs – Leibniz International Proceedings in Informatics 119. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-088-0). x, 37 articles, not consecutively paged, electronic only, open access (2018).
BibTeX Cite
Full Text: DOI Link
WorldCat.org
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 201-219 (2016).
MSC:  03B50 03G10
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification