×

zbMATH — the first resource for mathematics

Found 10,798 Documents (Results 1–100)

100
MathJax
Russ. Math. 64, No. 7, 73-78 (2020); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2020, No. 7, 83-88 (2020).
MSC:  11P83 05A17 11P82
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). 273-286 (2020).
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
all top 3
Software