×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 290-303 (2015).
MSC:  68Q65 18C20
BibTeX Cite
Full Text: DOI
WorldCat.org
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 273-288, electronic only (2014).
MSC:  68Q85 18C15 68N30
BibTeX Cite
Full Text: DOI
WorldCat.org
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 309-324 (2013).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Year of Publication
Classification
Software