×

zbMATH — the first resource for mathematics

Found 571 Documents (Results 1–100)

100
MathJax
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
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
Friedman, Sy-David (ed.) et al., Sets and computations. Hackensack, NJ: World Scientific. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 33, 221-251 (2018).
PDF BibTeX XML Cite
Full Text: DOI
O’Donnell, Ryan (ed.), 32nd computational complexity conference, CCC 2017, July 6–9, 2017, Riga, Latvia. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 79, Article 22, 67 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Caicedo, Andrés Eduardo (ed.) et al., Foundations of mathematics. Logic at Harvard. Essays in honor of W. Hugh Woodin’s 60th birthday. Proceedings of the Logic at Harvard conference, Harvard University, Cambridge, MA, USA, March 27–29, 2015. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 690, 31-67 (2017).
MSC:  03D30 03D25 03D28
PDF BibTeX XML Cite
Full Text: DOI
Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-58740-0/pbk; 978-3-319-58741-7/ebook). Lecture Notes in Computer Science 10307, 152-161 (2017).
MSC:  68Qxx
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 (ISBN 978-3-319-55910-0/pbk; 978-3-319-55911-7/ebook). Lecture Notes in Computer Science 10185, 85-96 (2017).
MSC:  68Q05
PDF BibTeX XML Cite
Full Text: DOI
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 599-607 (2017).
MSC:  03D28
PDF BibTeX XML Cite
Full Text: DOI
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 547-562 (2017).
MSC:  03D28
PDF BibTeX XML Cite
Full Text: DOI
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 501-520 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Kechris, Alexander S. (ed.) et al., Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL). Lect. Notes Log. 43, 493-519 (2016).
MSC:  03E15 03D28 03E60
PDF BibTeX XML Cite
Full Text: DOI
Kechris, Alexander S. (ed.) et al., Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL). Lect. Notes Log. 43, 349-354 (2016).
MSC:  03D28 03D65 03E15
PDF BibTeX XML Cite
Full Text: DOI
Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 626-632 (2016).
MSC:  68Q05 68Q17
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
Software