×

zbMATH — the first resource for mathematics

Found 35 Documents (Results 1–3)

Abdulla, Parosh Aziz (ed.) et al., Reachability problems. 7th international workshop, RP 2013, Uppsala, Sweden, September 24–26, 2013 Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8169, 23-44 (2013).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
Felleisen, Matthias (ed.) et al., Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37035-9/pbk). Lecture Notes in Computer Science 7792, 270-289 (2013).
MSC:  68Q55 68N19
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software