zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 280-294 (2009).
MSC:  03B20 03B05
BibTeX Cite
Full Text: DOI
Fifth colloquium on mathematics and computer science. Lectures from the colloquium, Blaubeuren, Germany, September 22–26, 2008. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science Proceedings AI, 461-474 (2008).
MSC:  03B20 05A16 60C05
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication