×

zbMATH — the first resource for mathematics

Found 5,617 Documents (Results 1–100)

100
MathJax
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 289-296 (2020).
MSC:  68W30
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). 873-885 (2020).
MSC:  68
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). 795-806 (2020).
MSC:  03B70
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). 341-354 (2020).
MSC:  68
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). 266-272 (2020).
MSC:  03B16 03B25 68Q45
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). 155-166 (2020).
MSC:  68
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). 727-737 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). Jerusalem Studies in Philosophy and History of Science, 217-231 (2020).
MSC:  03 81 60
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 208-221 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-40607-3/pbk; 978-3-030-40608-0/ebook). Lecture Notes in Computer Science 12038, 128-140 (2020).
MSC:  03B25
PDF BibTeX XML Cite
Full Text: DOI
Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer (ISBN 978-981-15-1341-1/hbk; 978-981-15-1342-8/ebook). Logic in Asia: Studia Logica Library, 67-83 (2020).
MSC:  03B
PDF BibTeX XML Cite
Full Text: DOI
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 262-271 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 166-184 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 272-284 (2019).
MSC:  68Q45 03B25 90C10
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 235-247 (2019).
MSC:  68Q45 03B25 06A06
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 223-234 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 269-286 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 363-373 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 16-27 (2019).
MSC:  68V15 11U05 68V20
PDF BibTeX XML Cite
Full Text: DOI
Math. Notes 106, No. 2, 299-302 (2019); translation from Mat. Zametki 106, No. 2, 307-310 (2019).
MSC:  14Q20 11U05 14E25
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 58, No. 2, 123-136 (2019); translation from Algebra Logika 58, No. 2, 179-199 (2019).
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, 35-47 (2019).
MSC:  68Q80 03B25
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, 275-287 (2019).
MSC:  03D05 03B25
PDF BibTeX XML Cite
Full Text: DOI
Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-30805-6/pbk; 978-3-030-30806-3/ebook). Lecture Notes in Computer Science 11674, 193-201 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-30805-6/pbk; 978-3-030-30806-3/ebook). Lecture Notes in Computer Science 11674, 178-192 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 77-86 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv
Facchini, Alberto (ed.) et al., Model theory of modules, algebras and categories. International conference, Ettore Majorana Foundation and Centre for Scientific Culture, Erice, Italy, July 28 – August 2, 2017. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4367-2/pbk; 978-1-4704-5295-7/ebook). Contemporary Mathematics 730, 223-237 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hofman, Piotrek (ed.) et al., Developments in language theory. 23rd international conference, DLT 2019, Warsaw, Poland, August 5–9, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-24885-7/pbk; 978-3-030-24886-4/ebook). Lecture Notes in Computer Science 11647, 127-139 (2019).
MSC:  68Q45
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