×

zbMATH — the first resource for mathematics

Found 833 Documents (Results 1–100)

100
MathJax
Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 555-565 (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 (ISBN 978-1-5090-3018-7). Article No. 80, 12 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. 73, 12 p. (2017).
MSC:  03C80 03C13 68Q60
PDF BibTeX XML Cite
Full Text: Link
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16825-1/hbk; 978-1-316-71715-8/ebook). xviii, 893 p. (2016).
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
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). 287-296 (2016).
PDF BibTeX XML Cite
Full Text: DOI
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). 277-286 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 183-199 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 362-374 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 475-493 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 49, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Libkin, Leonid (ed.) et al., Logic, language, information, and computation. 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20–23, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39991-6/pbk). Lecture Notes in Computer Science 8071, 138-152 (2013).
MSC:  03B60 03C80
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 3rd conference on innovations in theoretical computer science, ITCS’12, Cambridge, MA, USA, January 8–10, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1115-1). 367-379 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Cimatti, Alessandro (ed.) et al., Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31611-1/pbk). Lecture Notes in Computer Science 7317, 129-142 (2012).
MSC:  03B35 03C80
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 411-425, electronic only (2012).
MSC:  03C13 03C80 05C50
PDF BibTeX XML Cite
Full Text: DOI
Hart, Bradd (ed.) et al., Models, logics, and higher-dimensional categories: A tribute to the work of Mihály Makkai. Proceedings of a conference, CRM, Montréal, Canada, June 18–20, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-7281-9/pbk). CRM Proceedings and Lecture Notes 53, 55-77 (2011).
PDF BibTeX XML Cite
Fanelli, Anna Maria (ed.) et al., Fuzzy logic and applications. 9th international workshop, WILF 2011, Trani, Italy, August 29–31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23712-6/pbk). Lecture Notes in Computer Science 6857. Lecture Notes in Artificial Intelligence, 50-57 (2011).
MSC:  03B52 03C80 68T37
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 6810. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-22806-3/pbk). xii, 118 p. (2011).
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
Biographic Reference
all top 3
Software