Computer Science Logic

1. Front Matter

   Pages I-XI

   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

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).

• AI Logic
• Computer Science Logic
• Division
• Erlang
• Formal Logic
• Mathematical Logic
• Programming Theory
• Resolution
• complexity
• complexity theory
• databases
• interactive theorem proving
• lambda calculus
• programming language
• theorem proving

• 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

Policies and ethics