×

zbMATH — the first resource for mathematics

Found 1,350 Documents (Results 1–100)

100
MathJax
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 221-231 (2020).
PDF BibTeX XML Cite
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. 57-66 (2019).
PDF BibTeX XML Cite
Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10936, 40-49 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 68, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Droste, Manfred (ed.) et al., Groups, modules, and model theory – surveys and recent developments. In Memory of Rüdiger Göbel. Proceedings of the conference on new pathways between group theory and model theory, Mülheim an der Ruhr, Germany, February 1–4, 2016. Cham: Springer. 359-372 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 47, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Scheel, Katrin (ed.) et al., In memoriam Richard Dedekind (1831–1916). Number theory – algebra – set theory – history – philosophy. Proceedings of the conference, TU Braunschweig, Germany, October 6–8, 2016. Münster: WTM-Verlag (ISBN 978-3-95987-043-6/pbk). Schriften zur Geschichte der Mathematik und ihrer Didaktik 3, 174-185 (2017).
MSC:  01A55
PDF BibTeX XML Cite
Algebra Logic 56, No. 1, 13-36 (2017); translation from Algebra Logika 56, No. 1, 20-54 (2017).
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. Lect. Notes Comput. Sci. 10307, 152-161 (2017).
MSC:  68Qxx
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