×

zbMATH — the first resource for mathematics

Found 821 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). 273-286 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 5, 835-847 (2020); translation from Kibern. Sist. Anal. 2020, No. 5, 174-186 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Theor. Math. Phys. 202, No. 1, 17-29 (2020); translation from Teor. Mat. Fiz. 202, No. 1, 20-33 (2020); correction ibid. 205, No. 1, 1391 (2020).
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