×

zbMATH — the first resource for mathematics

Found 290 Documents (Results 1–100)

100
MathJax
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 859-868 (2018).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 177-196 (2016).
MSC:  03B20 03G25 06D20
PDF BibTeX XML Cite
Duncan, Ross (ed.) et al., Proceedings of the 9th workshop on quantum physics and logic, QPL’12, Brussels, Belgium, October 10–12, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 158, 77-107 (2014).
MSC:  81R15 46L05 18F10
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Software