×

zbMATH — the first resource for mathematics

Found 30 Documents (Results 1–30)

100
MathJax
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 27, 18 p. (2017).
MSC:  03F20 03C13
PDF BibTeX XML Cite
Full Text: DOI
Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 19-34, electronic only (2014).
MSC:  03B35 03B50 11T06 68T15
PDF BibTeX XML Cite
Full Text: DOI
Modern Birkhäuser Classics. Basel: Birkhäuser (ISBN 978-3-0348-0492-9/pbk; 978-3-0348-0493-6/ebook). x, 721 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Pimentel, Ernesto (ed.), Proceedings of the seventh Spanish conference on programming and computer languages (PROLE 2007), Zaragoza, Spain, September 12–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 206, 75-90 (2008).
MSC:  68T15 68N30 68Q42 68W30
PDF BibTeX XML Cite
Full Text: Link
Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1623-9/hbk). xix, 269 p. (2003).
PDF BibTeX XML Cite
Reviewer: A.Leitsch (Wien)
MSC:  03B35 03-02 68T15 68W30 68-02 68U05 14Qxx
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