×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–8)

100
MathJax
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 75-94 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI
Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 9, 27 p. (2018).
MSC:  68N15 68N18 94C11
PDF BibTeX XML Cite
Full Text: DOI
de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 230-247 (2011).
MSC:  68N18 68N15 68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI
Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 58-79 (2010).
MSC:  68Q42 68N30
PDF BibTeX XML Cite
Full Text: DOI
Gibbons, Jeremy (ed.) et al., Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11–12, 2002, Dagstuhl, Germany. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7374-7/hbk). IFIP, International Federation for Information Processing 115, 1-20 (2003).
MSC:  68N19
PDF BibTeX XML Cite