×

zbMATH — the first resource for mathematics

Found 388 Documents (Results 1–100)

100
MathJax
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 85-103 (2020).
MSC:  68Q85 03B45 03B52
PDF BibTeX XML Cite
Full Text: DOI
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. Lect. Notes Comput. Sci. 11541, 610-618 (2019).
MSC:  03B70
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. 367-386 (2018).
MSC:  03B45
PDF BibTeX XML Cite
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. 143-158 (2018).
PDF BibTeX XML Cite
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. 12, 12 p. (2017).
MSC:  03B42 03B45 05C25
PDF BibTeX XML Cite
Full Text: Link
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 319-337 (2017).
MSC:  68Q60 03B70 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 9, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Peters, James F. (ed.) et al., Transactions on Rough Sets XX. Berlin: Springer (ISBN 978-3-662-53610-0/pbk; 978-3-662-53611-7/ebook). Lecture Notes in Computer Science 10020. Journal Subline, 146-320 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 214-232 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 198-211 (2015).
MSC:  68Q85 03B45 68T15
PDF BibTeX XML Cite
Full Text: DOI
Classic Reprints. Socorro, NM: Advanced Reasoning Forum (ISBN 978-1-938421-18-1/pbk). v, 78 p. (2015).
PDF BibTeX XML Cite
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, 191-220 (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). 217-233 (2014).
MSC:  03F45 03G25 03B45
PDF BibTeX XML Cite
Bezhanishvili, Guram (ed.), Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer (ISBN 978-94-017-8859-5/hbk; 978-94-017-8860-1/ebook). Outstanding Contributions to Logic 4, ix-xiii (2014).
PDF BibTeX XML Cite
Cariani, Fabrizio (ed.) et al., Deontic logic and normative systems. 12th international conference, DEON 2014, Ghent, Belgium, July 12–15, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08614-9/pbk). Lecture Notes in Computer Science 8554. Lecture Notes in Artificial Intelligence, 258-272 (2014).
MSC:  03B45 68T27
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-4449-26-7/hbk; 978-981-4449-28-1/ebook). viii, 337 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 55-66 (2012).
MSC:  03B45 03G25 06E25
PDF BibTeX XML Cite
IfColog Proceedings 2. London: College Publications (ISBN 978-1-84890-079-0). xiv, 145 p. (2012).
PDF BibTeX XML Cite
Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 107-120 (2012).
MSC:  03B45
PDF BibTeX XML Cite
Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 53-71 (2012).
PDF BibTeX XML Cite
Full Text: DOI
D’Agostino, Giovanna (ed.) et al., Second international symposium on games, automata, logics and formal verification, Minori, Italy, 15–17th June 2011. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 54, 222-236 (2011).
MSC:  05C25 03B45 68Q60
PDF BibTeX XML Cite
Full Text: Link
Mosc. Univ. Math. Bull. 66, No. 4, 163-165 (2011); translation from Vest. Mosk. Univ. Mat. Mekh. 66, No. 4, 46-48 (2011).
MSC:  03B45 03B62 03E20
PDF BibTeX XML Cite
Full Text: DOI
Matyska, Ludek (ed.) et al., Sixth doctoral workshop on mathematical and engineering methods in computer science (MEMICS’10), October 22–4, 2010, Mikulov, Czech Republic. Selected papers. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-22-4). OASIcs – OpenAccess Series in Informatics 16, 9-18, electronic only (2011).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 111-120 (2010).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 256-270 (2010).
MSC:  03B45 03G15
PDF BibTeX XML Cite
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 100-119 (2010).
MSC:  03B45 28A60
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