Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - JÃ¶rg Flum

Instant online reading.
Don't wait for delivery!

Computer Science Logic

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

By: JÃ¶rg Flum (Editor), Mario Rodriguez-Artalejo (Editor)

Write A Review

Paperback | 8 September 1999

At a Glance

Paperback
600 Pages

Dimensions(cm)
23.5 x 15.88 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Medicine Medicine in General Computing & I.T.Computer Science Artificial Intelligence Mathematical Theory of Computation Computer Programming & Software Development Computer Architecture & Logic Design

Invited Papers
Topological Queries in Spatial Databases	p. 1
The Consistency Dimension, Compactness, and Query Learning	p. 2
Descriptive and Parameterized Complexity	p. 14
Logical Specification of Operational Semantics	p. 32
Constraint-Based Analysis of Broadcast Protocols	p. 50
Contributed Papers
Descriptive Complexity, I
Descriptive Complexity Theory for Constraint Databases	p. 67
Applicative Control and Computational Complexity	p. 82
Verification
Applying Rewriting Techniques to the Verification of Erlang Processes	p. 96
Difference Decision Diagrams	p. 111
Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States	p. 126
Verifying Liveness by Augmented Abstraction	p. 141
Temporal Logic
Signed Interval Logic	p. 157
Quantitative Temporal Logic	p. 172
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces	p. 188
Lambda Calculus, Linear Logic
Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting	p. 204
Closed Reductions in the ¿-Calculus	p. 220
Kripke Resource Models of a Dependently-Typed, Bunched ¿-Calculus	p. 235
A Linear Logical View of Linear Type Isomorphisms	p. 250
Logic Programming, Modal Logic, Description Logic
Choice Logic Programs and Nash Equilibria in Strategic Games	p. 266
Resolution Method for Modal Logic with Well-Founded Frames	p. 277
A NExpTime-Complete Description Logic Strictly Contained in C²	p. 292
A Road-Map on Complexity for Hybrid Logics	p. 307
Descriptive Complexity, II
MonadicNLIN and Quantifier-Free Reductions	p. 322
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games	p. 338
Fixpoint Alternation and the Game Quantifier	p. 350
Logic and Complexity
Lower Bounds for Space in Resolution	p. 362
Program Schemes, Arrays, Lindstrom Quantifiers and Zero-One Laws	p. 374
Open Least Element Principle and Bounded Query Computation	p. 389
Lambda Calculus, Type Theory
A Universal Innocent Game Model for the Bohm Tree Lambda Theory	p. 405
Anti-Symmetry of Higher-Order Subtyping	p. 420
Safe Proof Checking in Type Theory with Y	p. 439
Monadic Presentations of Lambda Terms Using Generalized Inductive Types	p. 453
Linear Logic, Mu Calculus, Concurrency
A P-Time Completeness Proof for Light Logics	p. 469
On Guarding Nested Fixpoints	p. 484
A Logical Viewpoint on Process-Algebraic Quotients	p. 499
A Truly Concurrent Semantics for a Simple Parallel Programming Language	p. 515
Specification, Data Refinement
Specification Refinement with System F	p. 530
Pre-logical Relations	p. 546
Data-Refinement for Call-By-Value Programming Languages	p. 562
Tutorials
Term Rewriting	p. 577
Interactive Theorem Proving Using Type Theory	p. 578
Author Index	p. 579
Table of Contents provided by Publisher. All Rights Reserved.

Computer Science Logic

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

What Art Is Now

Creativity in the Age of AI

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Agentic AI For Dummies

For Dummies (Computer/Tech)

Artificial Intelligence and Safety

A Practical Guide for Programmers and Decision Makers

Artificial Intelligence and Safety

A Practical Guide for Programmers and Decision Makers

Unveiling the Art of Steganography

A Modern Approach

The Digital Transformation of Professions

A Roadmap for Remaining Trusted, Relevant, and Future-Ready

The Digital Transformation of Professions

A Roadmap for Remaining Trusted, Relevant, and Future-Ready

Redefining Innovative Practices in the Age of AI

Architecture and AI

Controlling the Hallucination

Building Next-Gen ESG Platforms with IoT and AI for Sustainable Development Goals

Deep Learning in Genome Mapping

Computation and Analysis

Intelligent User Interface

Usable Artificial Intelligence and Artificial Intelligence for Usability

This product is categorised by