×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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 18, 15 p. (2016).
MSC:  68Q60 03B70 68Q25
BibTeX Cite
Full Text: DOI
WorldCat.org
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 134-142 (2013).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Year of Publication
Classification