×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 467-476 (2016).
MSC:  68Q85 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49629-9/pbk; 978-3-662-49630-5/ebook). Lecture Notes in Computer Science 9634, 445-461 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Bojańczyk, Mikołaj (ed.) et al., Reachability problems. 9th international workshop, RP 2015, Warsaw, Poland, September 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24536-2/pbk; 978-3-319-24537-9/ebook). Lecture Notes in Computer Science 9328, 76-88 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 260-272 (2015).
MSC:  68Q25 91A80
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 61, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification