Computer Science Logic: 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 ProceedingsAuthor: Jörg Flum, Mario Rodriguez-Artalejo Published by Springer Berlin Heidelberg ISBN: 978-3-540-66536-6 DOI: 10.1007/3-540-48168-0Table of Contents: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 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, Annotation