×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Klasing, Ralf (ed.) et al., Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11--13, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55750-1/pbk; 978-3-662-55751-8/ebook). Lecture Notes in Computer Science 10472, 204-216 (2017).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 -- September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs -- Leibniz International Proceedings in Informatics 62, Article 18, 15 p. (2016).
MSC:  68Q60 03B70 68Q25
BibTeX Cite
Full Text: DOI
WorldCat.org
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 134-142 (2013).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Reviewing State
Year of Publication
Classification