×

zbMATH — the first resource for mathematics

Found 2,880 Documents (Results 1–100)

100
MathJax
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, 217-229 (2019).
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
Dokl. Math. 99, No. 2, 121-124 (2019); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 485, No. 1, 11-14 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Logic 48. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-41558-3/hbk; 978-1-108-23423-8/ebook). vii, 243 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 235-244 (2018).
MSC:  68Q15 03D15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 145-154 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Friedman, Sy-David (ed.) et al., Sets and computations. Hackensack, NJ: World Scientific. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 33, 55-116 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Wang, Lusheng (ed.) et al., Computing and combinatorics. 24th international conference, COCOON 2018, Qing Dao, China, July 2–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10976, 192-204 (2018).
MSC:  03D15 03D30
PDF BibTeX XML Cite
Full Text: DOI
Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer (ISBN 978-3-319-74771-2/hbk; 978-3-319-74772-9/ebook). Outstanding Contributions to Logic 16, 233-256 (2018).
MSC:  08B99 03D15 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 90, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 81, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 79, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 108, 14 p. (2017).
MSC:  03B20 03B25 03D15
PDF BibTeX XML Cite
Full Text: DOI
Mathematical Surveys and Monographs 220. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3182-2/hbk; 978-1-4704-4083-1/ebook). xviii, 511 p. (2017).
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