×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–8)

100
MathJax
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press (ISBN 978-1-5090-3018-7). Article No. 26, 11 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40188-1/pbk; 978-3-319-40189-8/ebook). Lecture Notes in Computer Science 9709, 124-131 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 421-432 (2014).
MSC:  68Q05
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 334-343 (2012).
MSC:  68Q05 03D10
PDF BibTeX XML Cite
Full Text: DOI
Diekert, Volker (ed.) et al., STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24998-2/pbk). Lecture Notes in Computer Science 3404, 389-398 (2005).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Author
all top 5
Year of Publication
all top 3
Classification