zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 260-274 (2010).
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication