×

zbMATH — the first resource for mathematics

Found 430 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). 454-464 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Texts in Theoretical Computer Science. An EATCS Series. Cham: Springer (ISBN 978-3-319-21490-0/hbk; 978-3-319-21491-7/ebook). xi, 334 p. (2015).
MSC:  68-01 68Q55 68Q85
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