Computerscience logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Matthias Baaz; Johann A Makowsky 1948-; European Association for ComputerScience Logic Conference Vienna University of Technology) 2003; Workshop on ComputerScience Logic (17th 2003 Vienna University of Technology); Kurt Gödel Colloquium (8th 2003 Vienna University of Technology)