×

zbMATH — the first resource for mathematics

Found 1,342 Documents (Results 1–100)

100
MathJax
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). 886-899 (2020).
MSC:  68-XX
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). 768-781 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 15-66 (2020).
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, 127-144 (2020).
MSC:  03-XX 03Dxx 03Cxx
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1284. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4162-3/pbk; 978-1-4704-6136-2/ebook). vii, 90 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Student Mathematical Library 88. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4399-3/pbk; 978-1-4704-5261-2/ebook). xiii, 237 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Logic 48. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-41558-3/hbk; 978-1-108-23423-8/ebook). vii, 243 p. (2019).
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). 579-588 (2018).
MSC:  03D65 03B40
PDF BibTeX XML Cite
Full Text: DOI
Berthé, Valérie (ed.) et al., Sequences, groups, and number theory. Cham: Birkhäuser (ISBN 978-3-319-69151-0/hbk; 978-3-319-69152-7/ebook). Trends in Mathematics, 331-389 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-3270-93-0/hbk; 978-981-3270-95-4/ebook). viii, 291 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 17-34 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Springer Spektrum (ISBN 978-3-662-56616-9/pbk; 978-3-662-56617-6/ebook). ix, 441 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-3225-48-0/hbk; 978-981-3225-50-3/ebook). x, 460 p., 16 p./booklet (2018).
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. 26, 11 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
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. 1, 4 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Theory and Applications of Computability. Cham: Springer (ISBN 978-3-319-43667-8/hbk; 978-3-319-43669-2/ebook). x, 292 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 10010. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). xlii, 755 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 117-134 (2016).
MSC:  03B45
PDF BibTeX XML Cite
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 299-304 (2016).
MSC:  03B40 03D40 20M05
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 5, 15 p. (2016).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1135. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1563-1/print; 978-1-4704-2822-8/ebook). viii, 92 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv
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
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16813-8/hbk; 978-1-316-71705-9/ebook). xiii, 307 p. (2016).
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-16833-6/hbk; 978-1-316-71719-6/ebook). xiii, 394 p. (2016).
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