×

zbMATH — the first resource for mathematics

Found 15 Documents (Results 1–15)

100
MathJax
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 5, 14 p. (2017).
MSC:  37B51 03D45 68Q30
PDF BibTeX XML Cite
Full Text: DOI
Ogihara, Mitsunori (ed.) et al., Theory and applications of models of computation. 8th annual conference, TAMC 2011, Tokyo, Japan, May 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20876-8/pbk). Lecture Notes in Computer Science 6648, 230-239 (2011).
MSC:  03D28 03D15 52C20
PDF BibTeX XML Cite
Full Text: DOI
Kulikov, Alexander (ed.) et al., Computer science – theory and applications. 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20711-2/pbk). Lecture Notes in Computer Science 6651, 105-119 (2011).
MSC:  68Q30
PDF BibTeX XML Cite
Full Text: DOI arXiv
Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 208-226 (2010).
MSC:  37B50 37B15 52C23 68Q80
PDF BibTeX XML Cite
Full Text: DOI arXiv
Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 195-206 (2009).
MSC:  68Q80 68Q30
PDF BibTeX XML Cite
Full Text: DOI