×

zbMATH — the first resource for mathematics

Found 33 Documents (Results 1–33)

100
MathJax
Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-73578-8/pbk; 978-3-319-73579-5/ebook). Lecture Notes in Computer Science 10669, 17-34 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 14, 15 p. (2016).
MSC:  68Q42 03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI
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). 239-260 (2012).
MSC:  03B42
PDF BibTeX XML Cite
Dastani, Mehdi (ed.) et al., Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer (ISBN 978-1-4419-6983-5/hbk; 978-1-4419-6984-2/ebook). 1-33 (2010).
MSC:  68Q60 68T15 68T27 68T42
PDF BibTeX XML Cite
Full Text: DOI
Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 231-240 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Hodges, Wilfrid (ed.) et al., Logic, language, information and computation. 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1–4, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69936-1/pbk). Lecture Notes in Computer Science 5110. Lecture Notes in Artificial Intelligence, 136-148 (2008).
MSC:  03B42
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). 31-48 (2006).
MSC:  03B45 03B70
PDF BibTeX XML Cite

Filter Results by …

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