×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–8)

100
MathJax
Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 215-235 (2011).
MSC:  68N30 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 28-43 (2011).
MSC:  68N15 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 329-375 (2009).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI