×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 147-168 (2016).
MSC:  18C15 18C20
BibTeX Cite
Full Text: DOI
WorldCat.org
Diaz, Josep (ed.) et al., Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1--3, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44601-0/pbk). Lecture Notes in Computer Science 8705, 265-280 (2014).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Reviewing State
Year of Publication
Classification