WorldCat Linked Data Explorer

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

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

Computer science logic : 13th International workshop, CSL '99, 8th annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999

This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September 1999. The 34 revised full papers presented together with five invited contributions were carefully reviewed and sleected from a total of 91 submissions. The papers are organized in sections on descriptive complexity; verification; temporal logic; lambda calculus and linear logic; logic programming, modal logic, and description logic; logic and complexity; lambda calculus and type theory; linear logic, mu calculus, and concurrency; and specification and data refinement.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "CSL '98"
  • "CSL'99"@en
  • "CSL'99"
  • "CSL '99"
  • "EACSL"
  • "CSL'98"@en
  • "CSL'98"

author

contributor

http://schema.org/contributor

creator

description

http://schema.org/description

  • "This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September 1999. The 34 revised full papers presented together with five invited contributions were carefully reviewed and sleected from a total of 91 submissions. The papers are organized in sections on descriptive complexity; verification; temporal logic; lambda calculus and linear logic; logic programming, modal logic, and description logic; logic and complexity; lambda calculus and type theory; linear logic, mu calculus, and concurrency; and specification and data refinement."@en
  • "This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September 1999. The 34 revised full papers presented together with five invited contributions were carefully reviewed and sleected from a total of 91 submissions. The papers are organized in sections on descriptive complexity; verification; temporal logic; lambda calculus and linear logic; logic programming, modal logic, and description logic; logic and complexity; lambda calculus and type theory; linear logic, mu calculus, and concurrency; and specification and data refinement."
  • "This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998. The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area."

editor

genre

http://schema.org/genre

  • "Madrid (1999)"
  • "Electronic books"@en
  • "Electronic books"
  • "Brünn (1998)"
  • "Congressen (vorm)"@en
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Kongress"
  • "Electronic resources (Books)"

name

http://schema.org/name

  • "Computer science logic : proceedings"
  • "Computer science logic : 13th international symposium, CSL '99 8th annual conference of the EACSL Madrid, Spain, September 20 -25, 1999 : proceedings"
  • "Computer science logic : 13th international workshop, CSL '99, Madrid, Spain, September 20 - 25, 1999 ; 8th annual conference of the EACSL ; proceedings"
  • "Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings"
  • "Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings"
  • "Computer science logic : 13th international workshop ; 8th annual conference of the EACSL ; proceedings"
  • "Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings"
  • "Computer science logic : 12th international workshop, CSL'98 annual conference of the EACSL Brno, Czech Republic, August 24-28, 1998 : proceedings"
  • "Computer science logic : 13th International workshop, CSL '99, 8th annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999"@en
  • "Computer science logic : 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings"
  • "Computer science logic 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 ; proceedings"
  • "Computer science logic proceedings"
  • "Computer science logic : 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings"
  • "Computer Science Logic : 12th International Workshop, CSL '98 : Annual Conference of the EACSL : Proceedings"
  • "Computer science logic : 13th International Workshop, CSL'99, Madrid, Spain, September 20-25, 1999"
  • "Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 1998 : procedings"
  • "Computer science logic : 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 ; proceedings"
  • "Computer science logic : 12th international workshop, CSL'98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings"
  • "Computer science logic 12th International Workshop, CSL '98 : Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings"@en
  • "Computer science logic : 13th international workshop, CSL'99, 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings"
  • "Computer Science Logic 13th International Workshop, CSL'99 8th Annual Conference of the EACSL Madrid, Spain, September 20-25, 1999 Proceedings"
  • "Computer science logic : 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings"
  • "Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings"
  • "Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings"
  • "Computer science logic : 13th international workshop, CSL '99, Madrid, Spain, September 20-25, 1999 ; proceedings"
  • "Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings"
  • "Computer science logic 13th international workshop ; proceedings"
  • "Computer science logic : 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings"
  • "Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings"
  • "Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings"@en
  • "Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings"
  • "Computer science logic : 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 proceedings"
  • "Computer science logic : 12th international workshop, CSL '98, annual conference of the EACSL Brno, Czech Republic, August 24 - 28, 1998 : proceeings"
  • "Computer science logic : 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 proceedings"
  • "Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings"
  • "Computer science logic 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings"@en
  • "Computer science logic 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20 - 25, 1999 ; proceedings"
  • "Computer science logic : 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings"
  • "Computer Science Logic"

workExample

http://schema.org/workExample