×

Found 2 Documents (Results 1–2)

The Ackermann Award 2010. (English) Zbl 1257.03007

Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 544-546 (2010).
PDFBibTeX XMLCite
Full Text: DOI

The Ackermann Award 2007. (English) Zbl 1177.03006

Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 589-597 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field