×

zbMATH — the first resource for mathematics

Found 18 Documents (Results 1–18)

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, 369-385, electronic only (2015).
MSC:  68Q55 81P68
PDF BibTeX XML Cite
Full Text: DOI
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, 255-270, electronic only (2015).
MSC:  68N30 68Q55 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 139-163 (2007).
MSC:  18D15 81P68
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 73-94 (2007).
PDF BibTeX XML Cite
Full Text: DOI