×

zbMATH — the first resource for mathematics

Found 303 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, 165-173 (2020).
MSC:  03E35 03E55 03E04
PDF BibTeX XML Cite
Full Text: DOI
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 27, 16 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 333-349, electronic only (2015).
MSC:  68N18 03B15 03B70 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Chong, Chitat (ed.) et al., \(E\)-recursion, forcing and \(C^*\)-algebras. Hackensack, NJ: World Scientific (ISBN 978-981-4602-63-1/hbk; 978-981-4603-25-6/pbk; 978-981-4602-65-5/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 27, 83-182 (2014).
MSC:  03E40 03E04 03-02
PDF BibTeX XML Cite
Full Text: DOI
Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 5-27 (2014).
MSC:  03E35 03E05 03E04
PDF BibTeX XML Cite
Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 1-3 (2014).
MSC:  03E55 03E04 03E35
PDF BibTeX XML Cite
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 309-320 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 383-402 (2013).
MSC:  68Q05 03B40 68Q55
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