×

zbMATH — the first resource for mathematics

Found 56 Documents (Results 1–56)

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). 355-369 (2020).
MSC:  03B70
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 21, 16 p. (2017).
MSC:  03G27 03B45 03C40
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
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 4, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 34, 15 p. (2016).
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 7, 19 p. (2016).
MSC:  03G30 03B70 03D05
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 109-128, electronic only (2014).
MSC:  03G30 03B45
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 66-79 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 51-65 (2013).
MSC:  03B45 03G30
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 193-208 (2013).
MSC:  03B45 03G30
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). 350-370 (2010).
MSC:  03B45 03G30
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). 292-309 (2010).
MSC:  03G30 03B45
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). 235-255 (2010).
MSC:  03B45
PDF BibTeX XML Cite
Chen, Y.-X. (ed.) et al., Proceedings of the fifth international symposium on domain theory (ISDT 2009), Shanghai, China, September 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 257, 71-85 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 333-356 (2009).
MSC:  03G30 03B45
PDF BibTeX XML Cite
Full Text: DOI
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 221-241 (2008).
MSC:  03G30 03B45 03F05
PDF BibTeX XML Cite
Full Text: DOI
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 175-194 (2008).
MSC:  03G30 03B45 08C05
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). 193-217 (2008).
MSC:  03B45 03B70 03G30
PDF BibTeX XML Cite
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). 1-21 (2008).
MSC:  03B45 03B70
PDF BibTeX XML Cite
López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 35-57 (2007).
MSC:  68T15 03B70 68N30 68Q65 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 356-371 (2007).
MSC:  68Q65 03B45
PDF BibTeX XML Cite
Full Text: DOI
Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 367-380 (2001).
MSC:  03B45 03B70 08A70
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