×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Abadi, Martín (ed.) et al., Trustworthy global computing. 8th international symposium, TGC 2013, Buenos Aires, Argentina, August 30–31, 2013. Revised selected papers. Cham: Springer (ISBN 978-3-319-05118-5/pbk; 978-3-319-05119-2/ebook). Lecture Notes in Computer Science 8358, 119-135 (2014).
MSC:  68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org
Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 243-259 (2012).
MSC:  68N17 68Q55
BibTeX Cite
Full Text: DOI
WorldCat.org
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 40-54 (2011).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software