×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 422-436 (2007).
MSC:  68Q70 03D05 20K15
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification