×

zbMATH — the first resource for mathematics

Found 95 Documents (Results 1–95)

100
MathJax
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 277-298 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
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
Ábrahám, Erika (ed.) et al., Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9660, 173-193 (2016).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Raz, Ran (ed.), 31st conference on computational complexity, CCC’16, Tokyo, Japan, May 29 – June 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-008-8). LIPIcs – Leibniz International Proceedings in Informatics 50, Article 9, 35 p. (2016).
MSC:  68W20 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 54, No. 4, 336-341 (2015); translation from Algebra Logika 54, No. 4, 520-528 (2015).
MSC:  03C57 03C35 03D45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 29th annual symposium on computational geometry, SoCG 2013, Rio de Janeiro, Brazil, June 17–20, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2031-3). 233-242 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 75-86 (2013).
MSC:  68Q60 68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Janeczko, Stanislaw (ed.) et al., Advances in geometric analysis. Collected papers of the workshop on geometry in honour of Shing-Tung Yau’s 60th birthday, Warsaw, Poland, April 6–8, 2009. Somerville, MA: International Press; Beijing: Higher Education Press (ISBN 978-1-57146-248-0/pbk). Advanced Lectures in Mathematics (ALM) 21, 21-44 (2012).
PDF BibTeX XML Cite
de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 78-91 (2009).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Alekseevsky, Dmitri V. (ed.) et al., Recent developments in pseudo-Riemannian geometry. Zürich: European Mathematical Society (ISBN 978-3-03719-051-7/pbk). ESI Lectures in Mathematics and Physics, 359-418 (2008).
MSC:  53C22 53C50
PDF BibTeX XML Cite
Full Text: arXiv
Sanz-Solé, Marta (ed.) et al., Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume II: Invited lectures. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-022-7/hbk). 71-92 (2006).
PDF BibTeX XML Cite
Math. Notes 67, No. 3, 309-319 (2000); translation from Mat. Zametki 67, No. 3, 369-381 (2000).
PDF BibTeX XML Cite
Full Text: DOI
Herceg, D. (ed.) et al., PRIM ’97. Proceedings of the XII conference on applied mathematics, Palić, Yugoslavia, September 8–12, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics. 27-32 (1998).
MSC:  03B50 03G99
PDF BibTeX XML Cite
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 175-209 (1990).
MSC:  03F25 03F30 03B45
PDF BibTeX XML Cite
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 31-42 (1990).
Reviewer: G.Mints (Stanford)
MSC:  03B45 03F25
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software