WorldCat Linked Data Explorer

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

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

Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Madrid, Spain, September 22-25, 2002 : proceedings

This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gdel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "16th International Workshop on Computer Science Logic"
  • "International Workshop on Computer Science Logic"
  • "KGC 2003"
  • "CSL 2002"
  • "CSL 2002"@en
  • "Workshop on Computer Science Logic"
  • "CSL 2002, 11th annual conference of the EACSL"
  • "CSL 2003"
  • "EACSL 12th Annual Conference"

author

contributor

http://schema.org/contributor

creator

description

http://schema.org/description

  • "This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gdel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects."@en
  • "This book constitutes the refereed proceedings of the 16th International Workshop on Computer Science Logic, CSL 2002, held as the 11th Annual Conference of the EACSL in Edinburgh, Scotland, UK, in September 2002. The 37 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on rewriting and constructive mathematics; fixpoints and recursion; linear and resource logics; semantics; temporal logics and games; probability, games, and fixpoints; complexity and proof complexity; ludics and linear logics, lambda-calculi; and resolution and proofs."@en
  • "This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects."

editor

genre

http://schema.org/genre

  • "Electronic books"@en
  • "Kongress"
  • "Conference proceedings"
  • "Online-Publikation"
  • "Wien (2003)"
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"

name

http://schema.org/name

  • "Computer science logic : 16th international workshop, CSL 2002, Edinburgh, Scotland, UK, September 22-25, 2002 ; proceedings"
  • "Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Madrid, Spain, September 22-25, 2002 : proceedings"@en
  • "Computer Science Logic 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 2225, 2002 Proceedings"@en
  • "Computer science logic : 16th international workshop ; proceedings"
  • "Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, 22-25.09.2002 : proceedings"
  • "Computer science logic : 16th International Workshop, CSL 2002 : 11th Annual Conference of the EACSL : Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings"
  • "Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings"
  • "Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings"@en
  • "Computer science logic proceedings"
  • "Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22 - 25, 2002 ; proceedings"
  • "Computer science logic : 17th international workshop CSL 2003 [held jointly with the] 12th annual conference of the EACSL [and the] 8th Kurt Gödel colloquium, KGC 2003, Vienna, Austria, 25-30.08.2003 : proceedings"
  • "Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings"
  • "Computer science logic : 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings"
  • "Computer science logic 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings"
  • "Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings"
  • "Computer science logic 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings"@en
  • "Computer science logic 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings"
  • "Computer science logic 16th International workshop, CSL 2002 : Annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings"@en
  • "Computer Science Logic 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22-25, 2002 Proceedings"
  • "Computer Science Logic : 17th International Workshop CSL 2003 ; 12th Annual Conference of the EACSL ; 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30 : proceedings"
  • "Computer science logic 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings"@en
  • "Computer Science Logic 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings"
  • "Computer Science Logic"
  • "Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003 ; proceedings"
  • "Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22 - 25, 2002 ; proceedings"
  • "Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 2002 : proceedings"
  • "Computer science logic : 16th International Workshop, CSL 2002 : 11th Annual Conference of the EACSL : Proceedings"
  • "Computer Science Logic : 16th International Workshop, CSL 2002 ; 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 2002 : proceedings"

workExample