×

zbMATH — the first resource for mathematics

Found 925 Documents (Results 1–100)

100
MathJax
Mosc. Univ. Comput. Math. Cybern. 43, No. 2, 65-73 (2019); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 2, 19-27 (2019).
MSC:  68Q 68W
PDF BibTeX XML Cite
Full Text: DOI
Sib. Math. J. 59, No. 6, 1006-1013 (2018); translation from Sib. Mat. Zh. 59, No. 6, 1268-1278 (2018).
MSC:  54C35 03F15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 59, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
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 21, 16 p. (2017).
MSC:  03B38 03D20 03F60
PDF BibTeX XML Cite
Full Text: DOI
Babiarz, Artur (ed.) et al., Theory and applications of non-integer order systems. Papers of the 8th conference on non-integer order calculus and its applications, Zakopane, Poland, September 20–21, 2016. Cham: Springer. Lect. Notes Electr. Eng. 407, 253-263 (2017).
MSC:  93C23 34K37 41A21
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 41, No. 3, 134-141 (2017); translation from Vestn. Mosk. Univ., Ser. XV 2017, No. 3, 29-35 (2017).
MSC:  94C10
PDF BibTeX XML Cite
Full Text: DOI
Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-804466-7/hbk; 978-0-12-804511-4/ebook). ix, 302 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 409-425 (2016).
MSC:  03F15 03F30
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 18, 15 p. (2016).
MSC:  68N30 03B40
PDF BibTeX XML Cite
Full Text: DOI
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16844-2/hbk; 978-1-316-71732-5/ebook). x, 206 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 197-210, electronic only (2016).
MSC:  03D20 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 153-164 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Daras, Nicholas J. (ed.) et al., Computation, cryptography, and network security. Cham: Springer (ISBN 978-3-319-18274-2/hbk; 978-3-319-18275-9/ebook). 577-590 (2015).
MSC:  03D20 11U05
PDF BibTeX XML Cite
Full Text: DOI arXiv

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