×

zbMATH — the first resource for mathematics

Found 390 Documents (Results 1–100)

100
MathJax
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 610-618 (2019).
MSC:  03B70
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). 285-294 (2018).
PDF BibTeX XML Cite
Full Text: DOI
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. 541-558 (2018).
MSC:  03B45 03F45
PDF BibTeX XML Cite
Izv. Math. 81, No. 3, 592-617 (2017); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 81, No. 3, 134-159 (2017).
Reviewer: Can Baskent (Bath)
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 1-15 (2016).
MSC:  03F05 03B45
PDF BibTeX XML Cite
Full Text: DOI
Artho, Cyrille (ed.) et al., Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46519-7/pbk; 978-3-319-46520-3/ebook). Lecture Notes in Computer Science 9938, 211-226 (2016).
MSC:  68Q25 03B44 68Q17
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). 382-400 (2016).
PDF BibTeX XML Cite
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). 342-361 (2016).
MSC:  03B45 54F45
PDF BibTeX XML Cite
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 86-95 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Structural sparsity. (English. Russian original) Zbl 1367.03065
Russ. Math. Surv. 71, No. 1, 79-107 (2016); translation from Usp. Mat. Nauk 71, No. 1, 85-116 (2016).
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). 498-512 (2014).
MSC:  03B45 03B44
PDF BibTeX XML Cite
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). 333-352 (2014).
MSC:  03B45 03B70
PDF BibTeX XML Cite
Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). iv, 84 p. (2013).
PDF BibTeX XML Cite
Full Text: Link arXiv
Grohe, Martin (ed.) et al., Model theoretic methods in finite combinatorics. AMS-ASL joint special session, Washington, DC, USA, January 5–8, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4943-9/pbk). Contemporary Mathematics 558, 319-415 (2011).
PDF BibTeX XML Cite
Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. IV: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-34-2/hbk; 978-81-85931-08-3/hbk; 978-981-4324-31-1/set; 978-981-4324-35-9/ebook). 2502-2529 (2011).
PDF BibTeX XML Cite
Full Text: Link
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 100-114 (2011).
MSC:  03G30 03B45
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