×

zbMATH — the first resource for mathematics

Found 90 Documents (Results 1–90)

100
MathJax
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). 710-719 (2018).
MSC:  03B45 03B48
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. 611-628 (2018).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: arXiv
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 271-289 (2018).
MSC:  68Q45 03B70
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 76, 14 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Scheel, Katrin (ed.) et al., In memoriam Richard Dedekind (1831–1916). Number theory – algebra – set theory – history – philosophy. Proceedings of the conference, TU Braunschweig, Germany, October 6–8, 2016. Münster: WTM-Verlag (ISBN 978-3-95987-043-6/pbk). Schriften zur Geschichte der Mathematik und ihrer Didaktik 3, 134-159 (2017).
MSC:  01A55 01A60 13-03
PDF BibTeX XML Cite
Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 411-436 (2012).
MSC:  03B45 03B25
PDF BibTeX XML Cite
Skof, Fulvia (ed.), Giuseppe Peano between mathematics and logic. Proceedings of the international conference in honour of Giuseppe Peano on the occasion of the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin, Italy, October 2–3, 2008. Milan: Springer (ISBN 978-88-470-1835-8/pbk; 978-88-470-1836-5/ebook). 1-12 (2011).
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). 256-270 (2010).
MSC:  03B45 03G15
PDF BibTeX XML Cite
Hennessy, Matthew (ed.) et al., Proceedings of the 5th workshop on structural operational semantics (SOS 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 4, 107-118 (2009).
MSC:  68Q55 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 256-267 (2009).
MSC:  68P15 03B70
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 185-203 (2007).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 147-170 (2005).
MSC:  03G25 03B45
PDF BibTeX XML Cite
Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 309-333 (2005).
MSC:  03B45 03F05
PDF BibTeX XML Cite
Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 128-139 (1999).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software