×

zbMATH — the first resource for mathematics

Found 638 Documents (Results 1–100)

100
MathJax
Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 427-475 (2021).
MSC:  01 03 03-03 26-03 00A30
PDF BibTeX XML Cite
Full Text: DOI
Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 347-378 (2021).
MSC:  01 03 03-03 26-03 00A30
PDF BibTeX XML Cite
Full Text: DOI
Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 219-254 (2021).
MSC:  01 03 03-03 26-03 00A30
PDF BibTeX XML Cite
Full Text: DOI
Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 188-218 (2021).
MSC:  01 03 03-03 26-03 00A30
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). 886-899 (2020).
MSC:  68
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). 237-251 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-58770-6/pbk; 978-3-662-58771-3/ebook). Lecture Notes in Computer Science 11600, 160-172 (2019).
MSC:  03Bxx 68T27
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 66-75 (2018).
MSC:  90C22 03C13 03F20
PDF BibTeX XML Cite
Full Text: DOI
Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-90049-0/pbk; 978-3-319-90050-6/ebook). Lecture Notes in Computer Science 10833, 265-283 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-72055-5/pbk; 978-3-319-72056-2/ebook). Lecture Notes in Computer Science 10703, 221-241 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
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 34, 20 p. (2017).
MSC:  03B70 03F52
PDF BibTeX XML Cite
Full Text: DOI
Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 113-130 (2017).
MSC:  68Q19 03B70 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55385-5/pbk; 978-3-662-55386-2/ebook). Lecture Notes in Computer Science 10388, 92-109 (2017).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv
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 35, 18 p. (2016).
MSC:  03B70 03C13 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 718-732 (2016).
MSC:  68Q60 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Arge, Lars (ed.) et al., 31st international symposium on computational geometry, SoCG’15, Eindhoven, Netherlands, June 22–25, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-83-5). LIPIcs – Leibniz International Proceedings in Informatics 34, 171-185 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 60-77 (2015).
MSC:  68Q25 68Q19 90C60
PDF BibTeX XML Cite
Full Text: DOI
Voronkov, Andrei (ed.) et al., Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24–27, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8974, 216-231 (2015).
MSC:  68Q85 03B25 03B70
PDF BibTeX XML Cite
Full Text: DOI
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 1-15 (2014).
MSC:  03B45 03B70 68Q85
PDF BibTeX XML Cite
Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 41-52 (2014).
MSC:  68Q05 03B70 94C10
PDF BibTeX XML Cite
Full Text: DOI
Ciobanu, Gabriel (ed.) et al., Theoretical aspects of computing – ICTAC 2014. 11th international colloquium, Bucharest, Romania, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8687, 460-476 (2014).
MSC:  68Q85 03B45 03B70
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