×

zbMATH — the first resource for mathematics

Found 5,344 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). 768-781 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 1066-1072 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 217-236 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1284. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4162-3/pbk; 978-1-4704-6136-2/ebook). vii, 90 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 214-235 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Aerts, Diederik (ed.) et al., Quantum-like models for information retrieval and decision-making. Cham: Springer. STEAM-H, Sci. Technol. Eng. Agric. Math. Health, 83-113 (2019).
MSC:  81P45 03D40 68P20
PDF BibTeX XML Cite
Full Text: DOI
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 181-192 (2019).
MSC:  03D60
PDF BibTeX XML Cite
Full Text: DOI
Castillo-Ramirez, Alonso (ed.) et al., Cellular automata and discrete complex systems. 25th IFIP WG 1.5 international workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11525, 20-34 (2019).
MSC:  68Q80 03D30 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 177-189 (2019).
MSC:  03D15 03D20 68Q15
PDF BibTeX XML Cite
Full Text: DOI arXiv
Vojtěchovský, Petr (ed.) et al., Nonassociative mathematics and its applications. Fourth mile high conference on nonassociative mathematics, Denver, CO, USA, July 29 – August 5, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4245-3/pbk; 978-1-4704-5102-8/ebook). Contemporary Mathematics 721, 97-113 (2019).
MSC:  20N02 03D40
PDF BibTeX XML Cite
Full Text: DOI
Vojtěchovský, Petr (ed.) et al., Nonassociative mathematics and its applications. Fourth mile high conference on nonassociative mathematics, Denver, CO, USA, July 29 – August 5, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4245-3/pbk; 978-1-4704-5102-8/ebook). Contemporary Mathematics 721, 69-96 (2019).
MSC:  20N02 03D40 08A50
PDF BibTeX XML Cite
Full Text: DOI
Sib. Math. J. 60, No. 2, 223-234 (2019); translation from Sib. Mat. Zh. 60, No. 2, 290-305 (2019).
MSC:  03D45 03D30 03D55
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