×

zbMATH — the first resource for mathematics

Found 997 Documents (Results 1–100)

100
MathJax
J. Math. Sci., New York 256, No. 2, 143-159 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 23-39 (2018).
MSC:  03D45 03C57
PDF BibTeX Cite
Full Text: DOI
J. Math. Sci., New York 256, No. 1, 61-95 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 70-105 (2018).
MSC:  03D45 03C57
PDF BibTeX Cite
Full Text: DOI
J. Math. Sci., New York 256, No. 1, 1-33 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 8-41 (2018).
PDF BibTeX Cite
Full Text: DOI
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 168-180 (2019).
MSC:  03C57
PDF BibTeX Cite
Full Text: DOI
Friedman, Sy-David (ed.) et al., Sets and computations. Hackensack, NJ: World Scientific. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 33, 221-251 (2018).
PDF BibTeX Cite
Full Text: DOI
Algebra Logic 57, No. 2, 161-165 (2018); translation from Algebra Logika 57, No. 2, 243-249 (2018).
MSC:  03C57 03D45
PDF BibTeX 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. 26, 11 p. (2017).
PDF BibTeX Cite
Full Text: Link
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 35, 20 p. (2017).
PDF BibTeX Cite
Full Text: DOI
Mem. Am. Math. Soc. 1187, vi, 106 p. (2017).
PDF BibTeX 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