×

zbMATH — the first resource for mathematics

Found 1,011 Documents (Results 1–100)

100
MathJax
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 131-145 (2020).
PDF BibTeX XML Cite
Srivastava, Ashish K. (ed.) et al., Categorical, homological and combinatorial methods in algebra. AMS special session in honor of S. K. Jain’s 80th birthday, Ohio State University, Columbus, Ohio, March 16–18, 2018. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4368-9/pbk; 978-1-4704-5608-5/ebook). Contemporary Mathematics 751, 221-270 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 17-85 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-38807-2/pbk; 978-3-030-38808-9/ebook). Lecture Notes in Computer Science 12005, 53-70 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 111-127 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 57-66 (2019).
PDF BibTeX XML Cite
Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer (ISBN 978-3-030-25364-6/hbk; 978-3-030-25365-3/ebook). Outstanding Contributions to Logic 18, 285-341 (2019).
MSC:  03A05
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 (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 415-432 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Leroy, André (ed.) et al., Rings, modules and codes. Fifth international conference on noncommutative rings and their applications, University of Artois, Lens, France, June 12–15, 2017. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4104-3/pbk; 978-1-4704-5237-7/ebook). Contemporary Mathematics 727, 317-335 (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). 629-638 (2018).
MSC:  03F52 03B20 03B47
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
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-72055-5/pbk; 978-3-319-72056-2/ebook). Lecture Notes in Computer Science 10703, 221-241 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Amsterdam: Elsevier/Academic Press (ISBN 978-0-08-100751-8/pbk; 978-0-12-804509-1/ebook). xxi, 136 p. (2018).
PDF BibTeX XML Cite
Full Text: Link
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 27, 18 p. (2017).
MSC:  03B45 03B20
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 239-255 (2017).
PDF BibTeX XML Cite
Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54068-8/pbk; 978-3-662-54069-5/ebook). Lecture Notes in Computer Science 10119, 198-210 (2017).
MSC:  03Bxx 68T27
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