×

zbMATH — the first resource for mathematics

Found 722 Documents (Results 1–100)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 929-943 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 845-858 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Davis, Daniel G. (ed.) et al., Homotopy theory: tools and applications. A conference in honor of Paul Goerss’s 60th birthday, University of Illinois at Urbana-Champaign, Urbana, IL, USA, July 17–21, 2017. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 729, 239-254 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv
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). 255-264 (2018).
MSC:  03B38 55U35
PDF BibTeX XML Cite
Full Text: DOI
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). 76-85 (2018).
MSC:  03B38 55U35 18N40
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 86, 8 p. (2017).
MSC:  03B38 55U35 55P20
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 595-604 (2016).
MSC:  03B15 03G30 55U40
PDF BibTeX XML Cite
Full Text: DOI
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 18-29 (2016).
MSC:  68N18 03B15 03B40 03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 285-294 (2015).
MSC:  03B15 03B53 03A05 03B62
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 17-30 (2015).
MSC:  03B38 03B35 55U35
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 66, 9 p. (2014).
MSC:  68T15 03B15 55P20
PDF BibTeX XML Cite
Full Text: DOI
Narasimha Sastry, N.S. (ed.), Groups of exceptional type, Coxeter groups and related geometries. Invited articles based on the presentations at the international conference on “Groups and geometries”, Bangalore, India, December 10–21, 2012. New Delhi: Springer (ISBN 978-81-322-1813-5/hbk; 978-81-322-1814-2/ebook). Springer Proceedings in Mathematics & Statistics 82, 239-257 (2014).
MSC:  20F36 55R35 57M07 57M25 55P20 14N20
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 229-244, electronic only (2014).
MSC:  03B15 03G30 55U40
PDF BibTeX XML Cite
Full Text: DOI
Huckleberry, Alan (ed.) et al., Lie groups: structure, actions, and representations. In honor of Joseph A. Wolf on the occasion of his 75th birthday. New York, NY: Birkhäuser/Springer (ISBN 978-1-4614-7192-9/hbk; 978-1-4614-7193-6/ebook). Progress in Mathematics 306, 381-413 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7941, 173-188 (2013).
MSC:  03B38 55U40 68V15
PDF BibTeX XML Cite
Full Text: DOI
Nakamura, Hiroaki (ed.) et al., Galois-Teichmüller theory and arithmetic geometry. Selected papers based on the presentations at the workshop and conference, Kyoto, Japan, October 25–30, 2010. Tokyo: Mathematical Society of Japan (ISBN 978-4-86497-014-3/hbk). Advanced Studies in Pure Mathematics 63, 413-448 (2012).
MSC:  55P60 18G30 14F35 55Q70
PDF BibTeX XML Cite
Full Text: arXiv
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 337-348 (2012).
MSC:  03B70 03B15 68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI
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, 263-289 (2011).
MSC:  03G30 03B15 18D05 55U40 68N30
PDF BibTeX XML Cite
Full Text: DOI
Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 70 (2011).
MSC:  03F50 03B15 55U40 68T15
PDF BibTeX XML Cite
Full Text: DOI

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
Biographic Reference
all top 3
Software