×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 86-101 (2009).
MSC:  68Q60 68N30 68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification
Software