Computer Science Logic - Workshop on Computer Science Logic; Kanade, Takeo; European Association for Computer Science Logic; Kittler, Josef (Springer Berlin / Heidelberg, 2005)