×

zbMATH — the first resource for mathematics

Found 285 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). 167-180 (2020).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 42-57 (2020).
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. 179-198 (2018).
PDF BibTeX XML Cite
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 17, 16 p. (2016).
MSC:  03C13 03B15 03D05
PDF BibTeX XML Cite
Full Text: DOI
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 14, 17 p. (2016).
MSC:  03B70 68Q19
PDF BibTeX XML Cite
Full Text: DOI
Cerulli, Raffaele (ed.) et al., Combinatorial optimization. 4th international symposium, ISCO 2016, Vietri sul Mare, Italy, May 16–18, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9849, 369-380 (2016).
MSC:  90C10 90B10 90C27
PDF BibTeX XML Cite
Full Text: DOI
Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9252, 144-156 (2015).
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). 294-312 (2014).
MSC:  03B45 03B60
PDF BibTeX XML Cite
Full Text: arXiv
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). 134-138 (2014).
MSC:  03B70 03B45 68Q60
PDF BibTeX XML Cite
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. 75, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
van der Gaag, Linda C. (ed.) et al., Probabilistic graphical models. 7th European workshop, PGM 2014, Utrecht, The Netherlands, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8754, 519-534 (2014).
MSC:  62H30 62H22 68T05
PDF BibTeX XML Cite
Full Text: DOI
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 380-394 (2013).
MSC:  03B44
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 115-124 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 173-188 (2010).
MSC:  03B45 03B25
PDF BibTeX XML Cite
Full Text: DOI
Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 187-199 (2009).
MSC:  03C90
PDF BibTeX XML Cite
Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 409-418 (2009).
MSC:  68Q25 94C10
PDF BibTeX XML Cite
Full Text: DOI
Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 363-387 (2008).
MSC:  03B45 03B25
PDF BibTeX XML Cite
Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 323-338 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-540-00428-8/hbk). xi, 437 p. (2007).
PDF BibTeX XML Cite
Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 201-212 (2006).
MSC:  03B60 03B25 03G15
PDF BibTeX XML Cite
Full Text: DOI
Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 429-448 (2006).
MSC:  03B45 54E35 68T27
PDF BibTeX XML Cite

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