×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Birkedal, Lars (ed.), Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28728-2/pbk). Lecture Notes in Computer Science 7213, 406-420 (2012).
MSC:  68Q60 68Q25 68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org
Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6–10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 575-586 (2010).
MSC:  68Q60 68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification