Borrow it
Coverart for item
The Resource Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings, Jacques Duparc, Thomas A. Henzinger (eds.)

Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings, Jacques Duparc, Thomas A. Henzinger (eds.)

Creator
Contributor
Summary
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland, in September 2007. The 36 revised full papers presented together with the abstracts of 6 invited lectures were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics
Language
eng
Work
Publication
Extent
1 online resource (xiv, 600 pages)
Contents
  • Invited lectures
  • Logic and games
  • Expressiveness
  • Games and trees
  • Logic and deduction
  • Lambda calulus
  • Finite model theory
  • Linear logic
  • Proof theory
  • Game semantics
Isbn
9783540749158
Instance
Label
Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Title
Computer science logic
Title remainder
21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Statement of responsibility
Jacques Duparc, Thomas A. Henzinger (eds.)
Title variation
CSL 2007
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland, in September 2007. The 36 revised full papers presented together with the abstracts of 6 invited lectures were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics
Member of
Is part of
Cataloging source
GW5XE
Dewey number
004.01/5113
Illustrations
illustrations
Index
index present
LC call number
QA76.9.L63
LC item number
C78 2007eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
CSL 2007
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1962-
http://library.link/vocab/relatedWorkOrContributorName
  • Duparc, Jacques
  • Henzinger, T. A.
  • European Association for Computer Science Logic
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
4646
http://library.link/vocab/subjectName
  • Computer logic
  • Computer logic
  • Informatique
  • Computer logic
Label
Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings, Jacques Duparc, Thomas A. Henzinger (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited lectures -- Logic and games -- Expressiveness -- Games and trees -- Logic and deduction -- Lambda calulus -- Finite model theory -- Linear logic -- Proof theory -- Game semantics
Control code
184984996
Dimensions
unknown
Extent
1 online resource (xiv, 600 pages)
Form of item
online
Isbn
9783540749158
Lccn
2007934516
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-74915-8
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-74914-1
Specific material designation
remote
System control number
(OCoLC)184984996
Label
Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings, Jacques Duparc, Thomas A. Henzinger (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Invited lectures -- Logic and games -- Expressiveness -- Games and trees -- Logic and deduction -- Lambda calulus -- Finite model theory -- Linear logic -- Proof theory -- Game semantics
Control code
184984996
Dimensions
unknown
Extent
1 online resource (xiv, 600 pages)
Form of item
online
Isbn
9783540749158
Lccn
2007934516
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-74915-8
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-74914-1
Specific material designation
remote
System control number
(OCoLC)184984996

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...