WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/813038158

Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings

Open All Close All

type

about

http://schema.org/about

alternateName

author

contributor

http://schema.org/contributor

creator

description

http://schema.org/description

  • "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."

editor

genre

http://schema.org/genre

  • "Electronic books"
  • "Electronic books"@en
  • "Conference proceedings"@en
  • "Kongress"
  • "Kongress"@en
  • "Coimbra (2009)"@en
  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en

name

http://schema.org/name

  • "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 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"
  • "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"
  • "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 : 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"

workExample