Makowsky, Johann A.; Niwinski, Damian 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). MSC: 03-03 68-03 01A99 03B70 PDFBibTeX XMLCite \textit{J. A. Makowsky} and \textit{D. Niwinski}, Lect. Notes Comput. Sci. 6247, 544--546 (2010; Zbl 1257.03007) Full Text: DOI
Grohe, Martin; Hyland, Martin; Makowsky, Johann A.; Niwinski, Damian 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). MSC: 03-03 68-03 01A99 03B70 03B35 03F03 PDFBibTeX XMLCite \textit{M. Grohe} et al., Lect. Notes Comput. Sci. 4646, 589--597 (2007; Zbl 1177.03006) Full Text: DOI