×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–12)

100
MathJax
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-27682-3/pbk; 978-3-319-27683-0/ebook). Lecture Notes in Computer Science 9537, 76-89 (2016).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv