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://experiment.worldcat.org/entity/work/data/292681463#Person/flum_jorg> ; # 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#Person/flum_jorg> # Jörg Flum
    a schema:Person ;
   schema:familyName "Flum" ;
   schema:givenName "Jörg" ;
   schema:name "Jörg Flum" ;
    .

<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/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://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 "2017-01-19" ;
   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.