Logical Methods in Computer Science, Special Issue 17

Selected Papers of the Conference "Logic in Computer Science 2009" [LICS 2009]

maintained by Schloss Dagstuhl LZI at University of Trier