×

zbMATH — the first resource for mathematics

Found 1,632 Documents (Results 1–100)

100
MathJax
Bonneau, Joseph (ed.) et al., Financial cryptography and data security. 24th international conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12059, 137-155 (2020).
MSC:  94A60 91B64 91G80
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 1024-1037 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 54-67 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 339-350 (2020).
MSC:  68V20 03B35 03E05
PDF BibTeX XML Cite
Full Text: DOI
Goldberg, Ian (ed.) et al., Financial cryptography and data security. 23rd international conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11598, 396-404 (2019).
MSC:  94A60 11T71
PDF BibTeX XML Cite
Full Text: DOI
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 83-100 (2019).
PDF BibTeX XML Cite
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 259-276 (2019).
MSC:  03F07
PDF BibTeX XML Cite
Full Text: DOI
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 55-73 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 473-480 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 105, 5 p. (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 73, 15 p. (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 22, 12 p. (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 14, 17 p. (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Karlin, Anna R. (ed.), 9th innovations in theoretical computer science conference, ITCS 2018, Cambridge, MA, USA, January 11–14, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 94, Article 27, 11 p. (2018).
MSC:  68Q10 68P30
PDF BibTeX XML Cite
Full Text: DOI
Karlin, Anna R. (ed.), 9th innovations in theoretical computer science conference, ITCS 2018, Cambridge, MA, USA, January 11–14, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 94, Article 17, 18 p. (2018).
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). 245-254 (2018).
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
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 133-145 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 79-95 (2018).
PDF BibTeX XML Cite
Full Text: DOI
AMS/MAA Textbooks 48. Providence, RI: MAA Press/American Mathematical Society (AMS) (ISBN 978-1-4704-5046-5/pbk; 978-1-4704-5047-2/ebook). xiv, 161 p. (2018).
PDF BibTeX XML Cite
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 1193-1206 (2018).
MSC:  68Q17 03F20 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018).
MSC:  03B45 03B15 03B35
PDF BibTeX XML Cite
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 43-62 (2018).
MSC:  03B45 03F03 03F20
PDF BibTeX XML Cite
DISKI. Dissertationen zur Künstlichen Intelligenz 345. Berlin: Akademische Verlagsgesellschaft AKA; Amsterdam: IOS Press; Berlin: FU Berlin (Diss.) (ISBN 978-1-61499-919-5/pbk; 978-3-89838-739-2/pbk). xiii, 231 p. (2018).
MSC:  68-02 03B15 03B35 68T15
PDF BibTeX XML Cite
Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 175-181 (2018).
MSC:  68T30 03F07 68U35
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