skip to content
Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings Preview this item
ClosePreview this item
Checking...

Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Author: Erich Grädel; Reinhard Kahle
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series: SpringerLink: Springer e-Books; Lecture Notes in Computer Science, 5771.
Edition/Format:   Computer file : English : Online-ausgView all editions and formats
Summary:

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Erich Grädel; Reinhard Kahle
ISBN: 9783642040276 3642040276 9783642040269 3642040268
OCLC Number: 608613757
Reproduction Notes: Online-Ausg. Berlin [u.a.] Springer, 2009. online-Ressource.
Description: S.
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.
Series Title: SpringerLink: Springer e-Books; Lecture Notes in Computer Science, 5771.
Responsibility: edited by Erich Grädel, Reinhard Kahle.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/608613757> # Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
    a schema:CreativeWork, bgn:ComputerFile ;
   library:oclcnum "608613757" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/813038158#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/005.131/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/813038158#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/813038158#Topic/coding_theory> ; # Coding theory
   schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/813038158#Topic/logic_design> ; # Logic design
   schema:about <http://id.loc.gov/authorities/subjects/sh2007100982> ; # Algebra--Data processing
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/866237> ; # Coding theory
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/813038158#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/813038158#Topic/algebra_data_processing> ; # Algebra--Data processing
   schema:author <http://viaf.org/viaf/115295085> ; # Erich Grädel
   schema:author <http://viaf.org/viaf/85624900> ; # Reinhard Kahle
   schema:bookEdition "Online-ausg." ;
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/813038158> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/813038158#Series/springerlink_springer_e_books> ; # SpringerLink: Springer e-Books
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/813038158#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
   schema:name "Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings" ;
   schema:productID "608613757" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/608613757#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/813038158#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/978-3-642-04027-6> ;
   schema:url <http://www.springerlink.com/content/978-3-642-04027-6> ;
   schema:url <http://nbn-resolving.de/urn:nbn:de:1111-201701191757> ;
   schema:url <http://d-nb.info/112372976X/34> ;
   schema:url <http://swbplus.bsz-bw.de/bsz312839103cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783642040269> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-04027-6> ;
   schema:workExample <http://worldcat.org/isbn/9783642040276> ;
   umbel:isLike <http://d-nb.info/112372976X> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/608613757> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/813038158#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/813038158#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/813038158#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/608613757> ; # Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/813038158#Series/springerlink_springer_e_books> # SpringerLink: Springer e-Books
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/608613757> ; # Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
   schema:name "SpringerLink: Springer e-Books" ;
    .

<http://experiment.worldcat.org/entity/work/data/813038158#Topic/algebra_data_processing> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing" ;
    .

<http://experiment.worldcat.org/entity/work/data/813038158#Topic/computer_science> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
   schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/813038158#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://id.loc.gov/authorities/subjects/sh2007100982> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://id.worldcat.org/fast/804890> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing" ;
    .

<http://id.worldcat.org/fast/866237> # Coding theory
    a schema:Intangible ;
   schema:name "Coding theory" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://viaf.org/viaf/115295085> # Erich Grädel
    a schema:Person ;
   schema:familyName "Grädel" ;
   schema:givenName "Erich" ;
   schema:name "Erich Grädel" ;
    .

<http://viaf.org/viaf/85624900> # Reinhard Kahle
    a schema:Person ;
   schema:familyName "Kahle" ;
   schema:givenName "Reinhard" ;
   schema:name "Reinhard Kahle" ;
    .

<http://worldcat.org/isbn/9783642040269>
    a schema:ProductModel ;
   schema:isbn "3642040268" ;
   schema:isbn "9783642040269" ;
    .

<http://worldcat.org/isbn/9783642040276>
    a schema:ProductModel ;
   schema:isbn "3642040276" ;
   schema:isbn "9783642040276" ;
    .

<http://www.worldcat.org/title/-/oclc/608613757>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/608613757> ; # Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
   schema:dateModified "2017-12-23" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.