Skip to main content
SpringerLink
Log in
Book cover

Computer Science Logic

13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Jörg Flum

    1. Mathematisches Institut, Universität Freiburg, Eckerstr. 1, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mario Rodriguez-Artalejo

    1. Dpto. de Sistemas Informáticos y Programación Edificio Fac. Matemáticas, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1683)

Included in the following conference series:

Conference proceedings info: CSL 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (41 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Papers

    1. Topological Queries in Spatial Databases

      • Victor Vianu
      Pages 1-1

    2. The Consistency Dimension, Compactness, and Query Learning

      • José L. Balcázar
      Pages 2-13

    3. Descriptive and Parameterized Complexity

      • Martin Grohe
      Pages 14-31

    4. Logical Specification of Operational Semantics

      • Peter D. Mosses
      Pages 32-49

    5. Constraint-Based Analysis of Broadcast Protocols

      • Giorgio Delzanno, Andreas Podelski, Javier Esparza
      Pages 50-66

  3. Contributed Papers

    1. Descriptive Complexity, I

      1. Descriptive Complexity Theory for Constraint Databases
        • Erich Grädel, Stephan Kreutzer
        Pages 67-81
      2. Applicative Control and Computational Complexity
        • Daniel Leivant
        Pages 82-95

    2. Verification

      1. Applying Rewriting Techniques to the Verification of Erlang Processes
        • Thomas Arts, Jürgen Giesl
        Pages 96-110
      2. Difference Decision Diagrams
        • Jesper Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard
        Pages 111-125
      3. Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States
        • Martin Fränzle
        Pages 126-139
      4. Verifying Liveness by Augmented Abstraction
        • Yonit Kesten, Amir Pnueli
        Pages 141-156

    3. Temporal Logic

      1. Signed Interval Logic
        • Thomas Marthedal Rasmussen
        Pages 157-171
      2. Quantitative Temporal Logic
        • Yoram Hirshfeld, Alexander Rabinovich
        Pages 172-187
      3. An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces
        • Volker Diekert, Paul Gastin
        Pages 188-203

    4. Lambda Calculus, Linear Logic

      1. Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting
        • Eduardo Bonelli
        Pages 204-219
      2. Closed Reductions in the λ-Calculus
        • Maribel Fernández, Ian Mackie
        Pages 220-234
      3. Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (Extended Abstract)
        • Samin Ishtiaq, David J. Pym
        Pages 235-249
      4. A Linear Logical View of Linear Type Isomorphisms
        • Vincent Balat, Roberto Di Cosmo
        Pages 250-265

    5. Logic Programming, Modal Logic, Description Logic

      1. Choice Logic Programs and Nash Equilibria in Strategic Games
        • Marina De Vos, Dirk Vermeir
        Pages 266-276
Back to top

Other volumes

  1. Computer Science Logic

Keywords

About this book

The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL’99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL’98 (Brno, Czech Republic, August 25, 1998).

Editors and Affiliations

  • Mathematisches Institut, Universität Freiburg, Eckerstr. 1, Germany

    Jörg Flum

  • Dpto. de Sistemas Informáticos y Programación Edificio Fac. Matemáticas, Universidad Complutense de Madrid, Madrid, Spain

    Mario Rodriguez-Artalejo

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation