Dawar, Anuj (ed) & Veith, Helmut (ed)Computer Science Logic - congrés , 2010
24th international workshop on Computer science logic and 19th annual conference of the EACSL, held in Brno, Czech Republic, August 23-27, 2010. Proceedings. - Springer Verlag, 2010. - (Lecture Notes in Computer Science; 6247).
Ong, Luke (ed)Computer Science Logic - congrés , 2005
Computer science logic. 19th internatioanl workshop, CSL 2005 and 14th annual conference of the EACSL, held in Oxfod, UK, August 22-25, 2005. Proceedings. - Springer Verlag, 2005. - (Lecture Notes in Computer Science; 3634).
Börger, E. (ed) & Gurevich, Y. (ed) & Meinke, K. (ed)Computer Science Logic - congrés , 1993
Computer science logic. 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993. Selected papers. - Springer Verlag, 1993. - (Lecture Notes in Computer Science; 832).
Börger, E. & Jäger, G. & Kleine Büning, H. & Martini, S. & Richter, M.M. (eds)Computer Science Logic - congrés , 1992
Computer science logic. 6th workshop, CSL'92. San Miniato, Italy, september/october 1992. Selected papers. - Springer Verlag, 1993. - (Lecture Notes in Computer Science; 702).
Börger, E. (ed) & Kleine Büning, H. (ed) & Richter, M.M. (ed) & Schönfeld, W. (ed)Computer Science Logic - congrés , 1990
Computer science logic. 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings. - Springer Verlag, 1991. - (Lecture Notes in Computer Science; 533).
Börger, E. (ed) & Kleine Büning, H. (ed) & Richter, M.M. (ed)Computer Science Logic - congrés , 1989
CSL '89. 3rd workshop on computer science logic, Kaiserslautern, FRG, october 2-6, 1989, proceedings. - Springer Verlag, 1990. - (Lecture Notes in Computer Science; 440).