×

zbMATH — the first resource for mathematics

Found 298 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). 521-534 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 17-85 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Sib. Math. J. 61, No. 3, 516-527 (2020); translation from Sib. Mat. Zh. 61, No. 3, 654-668 (2020).
MSC:  03B 03E
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1219. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2923-2/print; 978-1-4704-4815-8/ebook). v, 104 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Sib. Math. J. 57, No. 6, 1066-1076 (2016); translation from Sib. Mat. Zh. 57, No. 6, 1361-1375 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Campillo, Antonio (ed.) et al., Valuation theory in interaction. Proceedings of the 2nd international conference and workshop on valuation theory, Segovia and El Escorial, Spain, July 18–29, 2011. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-149-1/hbk). EMS Series of Congress Reports, 432-463 (2014).
PDF BibTeX XML Cite
Heidelberg: Univ. Heidelberg, Naturwissenschaftlich-Mathematische Gesamtfakultät (Diss.). x, 143 p. (2014).
MSC:  03-02 03D25 03D28 03D30 03D10 68Q05
PDF BibTeX XML Cite
Full Text: Link
Sib. Math. J. 53, No. 5, 805-809 (2012); translation from Sib. Mat. Zh. 53, No. 5, 1007-1012 (2012).
MSC:  03C60 20A15 20F05
PDF BibTeX XML Cite
Full Text: DOI
Bergelson, Vitaly (ed.) et al., Ultrafilters across mathematics. International congress ULTRAMATH 2008: Applications of ultrafilters and ultraproducts in mathematics, Pisa, Italy, June 1–7, 2008. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4833-3/pbk). Contemporary Mathematics 530, 163-179 (2010).
PDF BibTeX XML Cite
Arai, T. (ed.) et al., Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1–6, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4293-01-3/hbk; 978-981-4293-02-0/ebook). 300-321 (2010).
MSC:  03D28 03D25 03D55
PDF BibTeX XML Cite
Dordrecht: Springer (ISBN 978-1-4020-4843-2/hbk; 978-1-4020-5764-9/ebook). xiv, pp. 1-736/Vol. 1; xiv, pp. 737-1447/Vol. 2; xiv, pp. 1449-2197/Vol. 3. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Bold, Stefan (ed.) et al., Foundations of the formal sciences V. Infinite games. Papers of the 5th conference, FotFS V, Bonn, Germany, November 26–29, 2004. London: King’s College Publications (ISBN 978-1-904987-75-8/pbk). Studies in Logic (London) 11, 279-317 (2007).
MSC:  03C55 03C75 91A80
PDF BibTeX XML Cite
Hochschultaschenbuch. Heidelberg: Spektrum Akademischer Verlag (ISBN 978-3-8274-1691-9/pbk). ix, 339 p. (2007).
PDF BibTeX XML Cite
Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 15-22 (2000).
MSC:  03D25
PDF BibTeX XML Cite

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