skip to content
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings Preview this item
ClosePreview this item
Checking...

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

Author: Jörg Flum; M Rodríguez Artalejo
Publisher: Berlin ; New York : Springer, 1999.
Series: Lecture notes in computer science, 1683.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

These are 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 papers  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

Genre/Form: Kongress
Conference papers and proceedings
Madrid (1999)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jörg Flum; M Rodríguez Artalejo
ISBN: 9783540665366 3540665366
OCLC Number: 42475780
Description: xi, 580 pages : illustrations ; 24 cm.
Contents: Invited Papers.- Topological Queries in Spatial Databases.- The Consistency Dimension, Compactness, and Query Learning.- Descriptive and Parameterized Complexity.- Logical Specification of Operational Semantics.- Constraint-Based Analysis of Broadcast Protocols.- Contributed Papers.- Descriptive Complexity Theory for Constraint Databases.- Applicative Control and Computational Complexity.- Applying Rewriting Techniques to the Verification of Erlang Processes.- Difference Decision Diagrams.- Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States.- Verifying Liveness by Augmented Abstraction.- Signed Interval Logic.- Quantitative Temporal Logic.- An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces.- Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting.- Closed Reductions in the ?-Calculus.- Kripke Resource Models of a Dependently-Typed, Bunched ?-Calculus (Extended Abstract).- A Linear Logical View of Linear Type Isomorphisms.- Choice Logic Programs and Nash Equilibria in Strategic Games.- Resolution Method for Modal Logic with Well-Founded Frames.- A NExpTime-Complete Description Logic Strictly Contained in C 2.- A Road-Map on Complexity for Hybrid Logics.- MonadicNLIN and Quantifier-Free Reductions.- Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraisse Games.- Fixpoint Alternation and the Game Quantifier.- Lower Bounds for Space in Resolution.- Program Schemes, Arrays, Lindstrom Quantifiers and Zero-One Laws.- Open Least Element Principle and Bounded Query Computation.- A Universal Innocent Game Model for the Bohm Tree Lambda Theory.- Anti-Symmetry of Higher-Order Subtyping.- Safe Proof Checking in Type Theory with Y.- Monadic Presentations of Lambda Terms Using Generalized Inductive Types.- A P-Time Completeness Proof for Light Logics.- On Guarding Nested Fixpoints.- A Logical Viewpoint on Process-Algebraic Quotients.- A Truly Concurrent Semantics for a Simple Parallel Programming Language.- Specification Refinement with System F.- Pre-logical Relations.- Data-Refinement for Call-By-Value Programming Languages.- Tutorials.- Tutorial on Term Rewriting.- Tutorial on Interactive Theorem Proving Using Type Theory.
Series Title: Lecture notes in computer science, 1683.
Other Titles: CSL'99
Responsibility: Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).
More information:

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/42475780> # Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "42475780" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/292681463#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/fundamentele_informatica> ; # Fundamentele informatica
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/lambda_calcul> ; # lambda calcul
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/programmeertalen> ; # Programmeertalen
    schema:about <http://dewey.info/class/004.015113/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/logica> ; # Logica
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/logique_informatique_congres> ; # Logique informatique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/theorie_type> ; # théorie type
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/komplexitatstheorie> ; # Komplexitätstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/programmierlogik> ; # Programmierlogik
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/complexite> ; # complexité
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/logique_temporelle> ; # logique temporelle
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/logique_informatique> ; # logique informatique
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/programmation_en_logique> ; # programmation en logique
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/292681463#Topic/kongress> ; # Kongress
    schema:alternateName "CSL'99" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/54214837> ; # Jörg Flum
    schema:contributor <http://viaf.org/viaf/27167988> ; # Mario Rodríguez Artalejo
    schema:creator <http://experiment.worldcat.org/entity/work/data/292681463#Meeting/workshop_on_computer_science_logic_13th_1999_madrid_spain> ; # Workshop on Computer Science Logic (13th : 1999 : Madrid, Spain)
    schema:datePublished "1999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/292681463> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Madrid (1999)"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/292681463#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings"@en ;
    schema:productID "42475780" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/42475780#PublicationEvent/berlin_new_york_springer_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/292681463#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz080584128cov.htm> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1683> ;
    schema:url <http://swbplus.bsz-bw.de/bsz080584128kap.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz080584128inh.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540665366> ;
    umbel:isLike <http://d-nb.info/957288131> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/42475780> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Meeting/workshop_on_computer_science_logic_13th_1999_madrid_spain> # Workshop on Computer Science Logic (13th : 1999 : Madrid, Spain)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/292681463#Place/madrid_spain> ; # Madrid, Spain)
    schema:name "Workshop on Computer Science Logic (13th : 1999 : Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Place/madrid_spain> # Madrid, Spain)
    a schema:Place ;
    schema:name "Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/42475780> ; # Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Topic/fundamentele_informatica> # Fundamentele informatica
    a schema:Intangible ;
    schema:name "Fundamentele informatica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Topic/komplexitatstheorie> # Komplexitätstheorie
    a schema:Intangible ;
    schema:name "Komplexitätstheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Topic/logique_informatique> # logique informatique
    a schema:Intangible ;
    schema:name "logique informatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Topic/logique_informatique_congres> # Logique informatique--Congrès
    a schema:Intangible ;
    schema:name "Logique informatique--Congrès"@en ;
    schema:name "Logique informatique--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Topic/logique_temporelle> # logique temporelle
    a schema:Intangible ;
    schema:name "logique temporelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
    schema:name "Logische Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
    schema:name "programmation en logique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/292681463#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
    schema:name "Theoretische Informatik"@en ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://viaf.org/viaf/27167988> # Mario Rodríguez Artalejo
    a schema:Person ;
    schema:familyName "Rodríguez Artalejo" ;
    schema:givenName "Mario" ;
    schema:givenName "M." ;
    schema:name "Mario Rodríguez Artalejo" ;
    .

<http://viaf.org/viaf/54214837> # Jörg Flum
    a schema:Person ;
    schema:familyName "Flum" ;
    schema:givenName "Jörg" ;
    schema:name "Jörg Flum" ;
    .

<http://worldcat.org/isbn/9783540665366>
    a schema:ProductModel ;
    schema:isbn "3540665366" ;
    schema:isbn "9783540665366" ;
    .

<http://www.worldcat.org/title/-/oclc/42475780>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/42475780> ; # Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
    schema:dateModified "2016-08-12" ;
    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.