The Ackermann Award 2005
At the annual conference of the EACSL, CSL’04, it was suggested to the newly elected president of EACSL that steps be taken to make the Annual Conference of EACSL even more attractive for young researchers in Logic and Computer Science. In response to this suggestion, the EACSL Board decided in November 2004 to launch the
Ackermann Award, the EACSL Outstanding Dissertation Award for Logic in Computer Science.
KeywordsProof System Tree Automaton Tree Language Automate Theorem Prove Automate Deduction
Unable to display preview. Download preview PDF.