×

zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–13)

100
MathJax
Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 611-638 (2017).
MSC:  68Nxx
PDF BibTeX XML Cite
Full Text: DOI
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 235-249 (2011).
MSC:  03B70 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 178-195 (2009).
MSC:  68Q60 03B44 68P05
PDF BibTeX XML Cite
Full Text: DOI
Palsberg, Jens (ed.) et al., Static analysis. 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03236-3/pbk). Lecture Notes in Computer Science 5673, 52-68 (2009).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Mohamed, Otmane Ait (ed.) et al., Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18–21, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-71065-3/pbk). Lecture Notes in Computer Science 5170, 199-214 (2008).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI