×

zbMATH — the first resource for mathematics

Found 3,273 Documents (Results 1–100)

100
MathJax
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 348, 23-41 (2020).
MSC:  03B70 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 211-221 (2020).
MSC:  03B42 03C40
PDF BibTeX XML Cite
Full Text: DOI
Math. Notes 108, No. 1, 117-122 (2020); translation from Mat. Zametki 108, No. 1, 130-136 (2020).
MSC:  20K
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) (ISBN 978-1-4704-4332-0/pbk; 978-1-4704-5609-2/ebook). Contemporary Mathematics 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) (ISBN 978-1-4704-4332-0/pbk; 978-1-4704-5609-2/ebook). Contemporary Mathematics 752, 93-111 (2020).
MSC:  03E45 03E55 03E65
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