×

zbMATH — the first resource for mathematics

Found 35 documents (Results 1–35)

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, 174-186 (2016).
MSC:  03B70
BibTeX Cite
Full Text: DOI
WorldCat.org
Progress in Computer Science and Applied Logic 28. Basel: Birkhäuser/Springer (ISBN 978-3-319-29196-3/hbk; 978-3-319-29198-7/ebook). xii, 425 p. (2016).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter results by …

Reviewing State
Author
Classification
Publication Year
Software