×

zbMATH — the first resource for mathematics

Found 2,647 Documents (Results 1–100)

100
MathJax
Sb. Math. 211, No. 11, 1568-1591 (2020); translation from Mat. Sb. 211, No. 11, 72-95 (2020).
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). 521-534 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 58, No. 6, 480-493 (2020); translation from Algebra Logika 58, No. 6, 720-740 (2019).
MSC:  20E06
PDF BibTeX XML Cite
Full Text: DOI
Srivastava, Ashish K. (ed.) et al., Categorical, homological and combinatorial methods in algebra. AMS special session in honor of S. K. Jain’s 80th birthday, Ohio State University, Columbus, Ohio, March 16–18, 2018. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4368-9/pbk; 978-1-4704-5608-5/ebook). Contemporary Mathematics 751, 191-203 (2020).
MSC:  16D50 16D60
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 64, No. 3, 43-56 (2020); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2020, No. 3, 48-63 (2020).
MSC:  20E26 20E06
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4–8, 2016. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Math. Theor. Comput. Sci., Proc., 95-106 (2020).
MSC:  05A15 05-08 60G50
PDF BibTeX XML Cite
Full Text: Link
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 610-618 (2019).
MSC:  03B70
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