zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-046-0). LIPIcs – Leibniz International Proceedings in Informatics 83, Article 11, 13 p. (2017).
BibTeX Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 245-254 (2012).
MSC:  81P68 18D15 81P40
BibTeX Cite
Full Text: DOI arXiv
Coecke, Bob (ed.) et al., Proceedings of the 6th international workshop on quantum physics and logic (QPL 2009), Oxford, UK, April 8–9, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 2, 231-249 (2011).
MSC:  81P94 18D15 81P15
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication