×

zbMATH — the first resource for mathematics

Found 732 Documents (Results 1–100)

100
MathJax
Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 33. Hackensack, NJ: World Scientific (ISBN 978-981-3223-51-6/hbk; 978-981-3223-53-0/ebook). x, 269 p. (2018).
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, 121-143 (2017).
MSC:  03E60 03E30 03C62
PDF BibTeX XML Cite
Full Text: DOI arXiv
Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 119-131 (2017).
MSC:  03B70 03C62 03F30
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 231-241 (2016).
MSC:  03C62 03F30 03H15
PDF BibTeX XML Cite
Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 153-170 (2016).
MSC:  03C62 03F30 03C45
PDF BibTeX XML Cite
Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 131-151 (2016).
MSC:  03C62 03F30 11U10
PDF BibTeX XML Cite
Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 47-56 (2016).
PDF BibTeX XML Cite
Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 1-20 (2016).
PDF BibTeX XML Cite
CSLI Lecture Notes 217. Stanford, CA: CSLI Publications (ISBN 978-1-57586-953-7/pbk). x, 241 p. (2016).
PDF BibTeX XML Cite
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 281-291 (2015).
MSC:  03F30 03C62
PDF BibTeX XML Cite
Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 39, 146-161 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 157-174 (2015).
MSC:  03F45 03B45 03C62
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 53, 7 p. (2014).
MSC:  03B15 03B25 03C62
PDF BibTeX XML Cite
Full Text: DOI
Macpherson, H. Dugald (ed.) et al., Model theory in algebra, analysis and arithmetic. Cetraro, Italy 2012. Lectures of the CIME course, Cetraro, Italy, 2012. Heidelberg: Springer; Florence: Fondazione CIME (ISBN 978-3-642-54935-9/pbk; 978-3-642-54936-6/ebook). Lecture Notes in Mathematics 2111. CIME Foundation Subseries, 1-11 (2014).
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