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

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

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

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The AI Con

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

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Python Crash Course

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

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

A Cultural History of Computer Graphics

What Art Is Now

Creativity in the Age of AI

Human-Centered Solutions through Human-Computer Interaction

From Healthcare to Smart Environments

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI in Business For Dummies

For Dummies (Business & Personal Finance)

AI Powered B2B Marketing

Develop AI Enabled Strategies and Practices for Maximum Impact

MRI in Practice

5th Edition

Atlas of AI

Power, Politics, and the Planetary Costs of Artificial Intelligence

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Determining Provenance from Compositional Data

Elements in Current Archaeological Tools and Techniques

The human Spark - Beyond AI

The Human Spark - Beyond AI

This product is categorised by