×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 19-35, electronic only (2015).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
all top 3
Software