. "Electronic books"@en . "Electronic books" . . . . . . . . "Conference proceedings"@en . . "Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings"@en . . "CSL 2009" . . . . . . . "Kongress" . "Kongress"@en . . . . . "Computer science logic proceedings" . . . . . . . . "Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings"@en . . "Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings" . . . . . . . "Coimbra (2009)"@en . . "Computer science logic" . . . . . . "Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings" . . . . . "Computer science logic : 23rd international workshop ; proceedings" . . . . "Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings"@en . "Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings" . "Computer science logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings" . . . . . . . "Computer science logic : 23rd international workshop, CSL 2009 : 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings" . . . . . . . . . . . . . . . . . . . . . . . . . . . "Computer science logic : proceedings" . . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . "This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science." . . . . . . . . . . "Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings" . "Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings"@en . . "Computational logic Kongress Coimbra <2009>" . . "Coding theory." . . "Mathematical Logic and Formal Languages" . . "Coding and Information Theory" . . "informatique logique [congrès]" . . "CSL <23, 2009, Coimbra>" . . "Logische Programmierung." . . "Annual Conference of the EACSL (18 2009.09.07-11 Coimbra)" . . . "Computer logic." . . "Mathematical Logic and Foundations" . . "Annual Conference of the EACSL" . . "Informatique." . . "Workshop on Computer Science Logic." . . . "Computational logic." . . "Programmierlogik." . . "EACSL (18 2009.09.07-11 Coimbra)" . . . "European Association for Computer Science Logic (Annual Conference)" . . "European Association for Computer Science Logic. Annual Conference" . "International Workshop on Computer Science Logic (23e : 2009 : Coimbra, Portugal)" . . . "Logic design." . . "Logics and Meanings of Programs" . . "Programmierlogik Kongress Coimbra <2009>" . . "Workshop on Computer Science Logic (Coimbra) (2009)" . . . "CSL 2009 (2009 : Coimbra, Portugal)" . . . . . "Logische Programmierung Kongress Coimbra <2009>" . . "European Association for Computer Science Logic. Conference" . . "Annual conference of the EACSL (18 : 07-09-2009 - 11-09-2009 : Coimbra, Portugal)" . . . "Mathematics of Computing" . . "Logic, Symbolic and mathematical." . . "Symbolic and Algebraic Manipulation" . . "Workshop on Computer Science Logic (23rd : 2009 : Coimbra, Portugal)" . . . "Logique informatique Congrès." . . "Theoretische Informatik." . . "International Workshop on Computer Science Logic (23 : 2009 : Coimbra)" . . . "International Workshop on Computer Science Logic, CSL (23 : 07-09-2009 - 11-09-2009 : Coimbra, Portugal)" . . . "Computer science." . . "Theoretische Informatik Logik Kongress Coimbra <2009>" . . "Conference of the European Association for Computer Science Logic (18e : 2009 : Coimbra, Portugal)" . . . "Logik." . . "Coimbra <2009>" . . "International Workshop on Computer Science Logic (23 2009.09.07-11 Coimbra)" . . . "Annual Conference of the European Association for Computer Science Logic (18 2009.09.07-11 Coimbra)" . . . "CSL 2009 (23rd ; 2009)." . . . "CSL (23 2009.09.07-11 Coimbra)" . . . "Algebra Data processing." . .