×

zbMATH — the first resource for mathematics

Found 14,529 Documents (Results 1–100)

100
MathJax
Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). Trends in Logic – Studia Logica Library 55, 73-105 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Vestn. St. Petersbg. Univ., Math. 53, No. 2, 122-130 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 2, 210-216 (2020).
MSC:  08A 05B 20N 08B
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 756-767 (2020).
MSC:  08A30 08A40
PDF BibTeX XML Cite
Full Text: DOI
Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 55-70 (2020).
MSC:  68V20 08A70 68V30
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