The Resource Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.)
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.)
Resource Information
The item Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- 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
- Language
- eng
- Extent
- 1 online resource (xi, 565 pages)
- Contents
-
- Invited Talks
- Algebra for Tree Languages
- Forcing and Type Theory
- Functional Interpretations of Intuitionistic Linear Logic
- Fixed-Point Definability and Polynomial Time
- Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene
- Kleene's Amazing Second Recursion Theorem
- Contributed Papers
- Typed Applicative Structures and Normalization by Evaluation for System F?
- Jumping Boxes
- Tree-Width for First Order Formulae
- Algorithmic Analysis of Array-Accessing Programs
- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems
- Cardinality Quantifiers in MLO over Trees
- From Coinductive Proofs to Exact Real Arithmetic
- On the Relation between Sized-Types Based Termination and Semantic Labelling
- Expanding the Realm of Systematic Proof Theory
- EXPTIME Tableaux for the Coalgebraic?-Calculus
- On the Word Problem for -Categories, and the Properties of Two-Way Communication
- Intersection, Universally Quantified, and Reference Types
- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
- Enriching an Effect Calculus with Linear Types
- Degrees of Undecidability in Term Rewriting
- Upper Bounds on Stream I/O Using Semantic Interpretations
- Craig Interpolation for Linear Temporal Languages
- On Model Checking Boolean BI
- Efficient Type-Checking for Amortised Heap-Space Analysis
- Deciding the Inductive Validity of????* Queries
- On the Parameterised Intractability of Monadic Second-Order Logic
- Automatic Structures of Bounded Degree Revisited
- Nondeterminism and Observable Sequentiality
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- Focalisation and Classical Realisability
- Decidable Extensions of Church's Problem
- Nested Hoare Triples and Frame Rules for Higher-Order Store
- A Complete Characterization of Observational Equivalence in Polymorphic?-Calculus with General References
- Non-Commutative First-Order Sequent Calculus
- Model Checking FO(R) over One-Counter Processes and beyond
- Confluence of Pure Differential Nets with Promotion
- Decision Problems for Nash Equilibria in Stochastic Games
- On the Complexity of Branching-Time Logics
- Nominal Domain Theory for Concurrency
- The Ackermann Award 2009
- Isbn
- 9783642040276
- Label
- Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings
- Title
- Computer science logic
- Title remainder
- 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings
- Statement of responsibility
- Erich Grädel, Reinhard Kahle (eds.)
- Language
- eng
- Summary
- 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
- Cataloging source
- GW5XE
- Dewey number
- 005.101/5113
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.9.L63
- LC item number
- C68 2009
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2009
- http://bibfra.me/vocab/lite/meetingName
- CSL 2009
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
-
- 1958-
- 1967-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Grädel, Erich
- Kahle, Reinhard
- 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
- 5771
- http://library.link/vocab/subjectName
-
- Computer logic
- Computer logic
- Informatique
- Computer logic
- Computational logic
- Logik
- Logische Programmierung
- Programmierlogik
- Theoretische Informatik
- Label
- Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.)
- 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 Talks -- Algebra for Tree Languages -- Forcing and Type Theory -- Functional Interpretations of Intuitionistic Linear Logic -- Fixed-Point Definability and Polynomial Time -- Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene -- Kleene's Amazing Second Recursion Theorem -- Contributed Papers -- Typed Applicative Structures and Normalization by Evaluation for System F? -- Jumping Boxes -- Tree-Width for First Order Formulae -- Algorithmic Analysis of Array-Accessing Programs -- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems -- Cardinality Quantifiers in MLO over Trees -- From Coinductive Proofs to Exact Real Arithmetic -- On the Relation between Sized-Types Based Termination and Semantic Labelling -- Expanding the Realm of Systematic Proof Theory -- EXPTIME Tableaux for the Coalgebraic?-Calculus -- On the Word Problem for -Categories, and the Properties of Two-Way Communication -- Intersection, Universally Quantified, and Reference Types -- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata -- Enriching an Effect Calculus with Linear Types -- Degrees of Undecidability in Term Rewriting -- Upper Bounds on Stream I/O Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking Boolean BI -- Efficient Type-Checking for Amortised Heap-Space Analysis -- Deciding the Inductive Validity of????* Queries -- On the Parameterised Intractability of Monadic Second-Order Logic -- Automatic Structures of Bounded Degree Revisited -- Nondeterminism and Observable Sequentiality -- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions -- Focalisation and Classical Realisability -- Decidable Extensions of Church's Problem -- Nested Hoare Triples and Frame Rules for Higher-Order Store -- A Complete Characterization of Observational Equivalence in Polymorphic?-Calculus with General References -- Non-Commutative First-Order Sequent Calculus -- Model Checking FO(R) over One-Counter Processes and beyond -- Confluence of Pure Differential Nets with Promotion -- Decision Problems for Nash Equilibria in Stochastic Games -- On the Complexity of Branching-Time Logics -- Nominal Domain Theory for Concurrency -- The Ackermann Award 2009
- Control code
- 489215755
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 565 pages)
- Form of item
- online
- Isbn
- 9783642040276
- Lccn
- 2009933208
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-642-04027-6
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-642-04026-9
- Specific material designation
- remote
- System control number
- (OCoLC)489215755
- Label
- Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.)
- 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 Talks -- Algebra for Tree Languages -- Forcing and Type Theory -- Functional Interpretations of Intuitionistic Linear Logic -- Fixed-Point Definability and Polynomial Time -- Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene -- Kleene's Amazing Second Recursion Theorem -- Contributed Papers -- Typed Applicative Structures and Normalization by Evaluation for System F? -- Jumping Boxes -- Tree-Width for First Order Formulae -- Algorithmic Analysis of Array-Accessing Programs -- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems -- Cardinality Quantifiers in MLO over Trees -- From Coinductive Proofs to Exact Real Arithmetic -- On the Relation between Sized-Types Based Termination and Semantic Labelling -- Expanding the Realm of Systematic Proof Theory -- EXPTIME Tableaux for the Coalgebraic?-Calculus -- On the Word Problem for -Categories, and the Properties of Two-Way Communication -- Intersection, Universally Quantified, and Reference Types -- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata -- Enriching an Effect Calculus with Linear Types -- Degrees of Undecidability in Term Rewriting -- Upper Bounds on Stream I/O Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking Boolean BI -- Efficient Type-Checking for Amortised Heap-Space Analysis -- Deciding the Inductive Validity of????* Queries -- On the Parameterised Intractability of Monadic Second-Order Logic -- Automatic Structures of Bounded Degree Revisited -- Nondeterminism and Observable Sequentiality -- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions -- Focalisation and Classical Realisability -- Decidable Extensions of Church's Problem -- Nested Hoare Triples and Frame Rules for Higher-Order Store -- A Complete Characterization of Observational Equivalence in Polymorphic?-Calculus with General References -- Non-Commutative First-Order Sequent Calculus -- Model Checking FO(R) over One-Counter Processes and beyond -- Confluence of Pure Differential Nets with Promotion -- Decision Problems for Nash Equilibria in Stochastic Games -- On the Complexity of Branching-Time Logics -- Nominal Domain Theory for Concurrency -- The Ackermann Award 2009
- Control code
- 489215755
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 565 pages)
- Form of item
- online
- Isbn
- 9783642040276
- Lccn
- 2009933208
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-642-04027-6
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-642-04026-9
- Specific material designation
- remote
- System control number
- (OCoLC)489215755
Subject
- Computer logic
- Computer logic
- Computer logic
- Computer logic -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Informatique
- Logik
- Logische Programmierung
- Programmierlogik
- Theoretische Informatik
- Computational logic
Genre
Member of
- LNCS sublibrary, SL 1, Theoretical computer science and general issues
- Lecture notes in computer science, 5771
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Computer-science-logic--23rd-international/KmHINYUgaNc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Computer-science-logic--23rd-international/KmHINYUgaNc/">Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Computer-science-logic--23rd-international/KmHINYUgaNc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Computer-science-logic--23rd-international/KmHINYUgaNc/">Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>