Logical Methods in Computer Science, Special Issue 1

Selected Papers of the 2004 IEEE Symposium on Logic in Computer Science [LICS 2004]

maintained by Schloss Dagstuhl LZI at University of Trier