×

zbMATH — the first resource for mathematics

Found 647 Documents (Results 1–100)

100
MathJax
Lecture Notes in Logic 50. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-47898-4/hbk; 978-1-108-78171-8/ebook). x, 359 p. (2020).
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, 50-61 (2019).
MSC:  03D32 68Q30
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). 730-738 (2018).
MSC:  03D32 03D28
PDF BibTeX XML Cite
Full Text: DOI
Berlin: J. B. Metzler; Erlangen-Nürnberg: Univ. Erlangen-Nürnberg (Diss. 2016) (ISBN 978-3-476-04812-7/pbk; 978-3-476-04813-4/ebook). xiii, 383 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
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 30, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 58, 12 p. (2017).
MSC:  68Q30 28A80
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 34, 13 p. (2017).
MSC:  03D32 03E15 68Q30
PDF BibTeX XML Cite
Full Text: DOI
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 58, 12 p. (2017).
MSC:  68Q30 68W32
PDF BibTeX XML Cite
Full Text: DOI arXiv
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 53, 13 p. (2017).
MSC:  68Q30 28A80
PDF BibTeX XML Cite
Full Text: DOI
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 17, 14 p. (2017).
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
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 129-143 (2017).
MSC:  68Q30 03D32
PDF BibTeX XML Cite
Full Text: DOI arXiv

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