×

zbMATH — the first resource for mathematics

Found 248 Documents (Results 1–100)

100
MathJax
Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4–8, 2016. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Math. Theor. Comput. Sci., Proc., 251-262 (2020).
MSC:  05E14 14N15 05A05
PDF BibTeX XML Cite
Full Text: Link
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 83-100 (2019).
PDF BibTeX XML Cite
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29025-2/pbk; 978-3-030-29026-9/ebook). Lecture Notes in Computer Science 11714. Lecture Notes in Artificial Intelligence, 259-276 (2019).
MSC:  03F07
PDF BibTeX XML Cite
Full Text: DOI
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 1-16 (2019).
MSC:  03B70
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 80, 13 p. (2017).
MSC:  68Q25 03F20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Drmota, Michael (ed.) et al., Extended abstracts of the ninth European conference on combinatorics, graph theory and applications, EuroComb 2017, Vienna, Austria, August 28 – September 1, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 61, 765-771 (2017).
MSC:  05E15 14N15
PDF BibTeX XML Cite
Full Text: DOI
Cham: Springer (ISBN 978-3-319-54980-4/hbk; 978-3-319-54981-1/ebook). xix, 275 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 191, No. 5, 613-632 (2013); translation from Fundam. Prikl. Mat. 17(2011/12), No. 4, 25-52 (2012).
MSC:  05A15 05C30 14F45 05E15
PDF BibTeX XML Cite
Full Text: DOI
van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 227-233 (2012).
MSC:  68W30 05B20 15A15
PDF BibTeX XML Cite
Full Text: DOI arXiv
Brafman, Ronen I. (ed.) et al., Algorithmic decision theory. Second international conference, ADT 2011, Piscataway, NJ, USA, October 26–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24872-6/pbk). Lecture Notes in Computer Science 6992. Lecture Notes in Artificial Intelligence, 67-81 (2011).
MSC:  90B80 91A46 68T42
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
Biographic Reference
all top 3
Software