×

zbMATH — the first resource for mathematics

Found 1,110 Documents (Results 1–100)

100
MathJax
Coskey, Samuel (ed.) et al., Trends in set theory. Simon Fest conference in honor of Simon Thomas’s 60th birthday, Rutgers University, Piscataway, New Jersey, USA, September 15–17, 2017. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 752, 175-189 (2020).
MSC:  03E15 03E45 03E60
PDF BibTeX XML Cite
Full Text: DOI
Coskey, Samuel (ed.) et al., Trends in set theory. Simon Fest conference in honor of Simon Thomas’s 60th birthday, Rutgers University, Piscataway, New Jersey, USA, September 15–17, 2017. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 752, 93-111 (2020).
MSC:  03E45 03E55 03E65
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 11-22 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 57, No. 6, 938-946 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 6, 122-130 (2018).
MSC:  93C83 93A30 93B40 93C95
PDF BibTeX XML Cite
Full Text: DOI
Münster: Univ. Münster, Fachbereich Mathematik und Informatik (Diss.). 127 p. (2018).
PDF BibTeX XML Cite
Münster: Univ. Münster, Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik (Diss.). x, 105 p. (2018).
PDF BibTeX XML Cite
J. Comput. Syst. Sci. Int. 56, No. 2, 259-267 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 2, 92-100 (2017).
MSC:  93A30 90B30 93C15 93C95 93B40
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