Lecture Notes in Computer Science : 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!

Lecture Notes in Computer Science

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 5 to 7 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 $89.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.

Lecture Notes in Computer Science

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 Mathematical Foundation

Oxford Maths for Australian Schools Year 3 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 4 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 6 Value Pack

3rd Edition

Oxford Maths for Australian Schools Value Pack Year 5

Oxford Maths

In All Likelihood

Statistical Modelling and Inference Using Likelihood

Oxford Maths for Australian Schools Year 5 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 2 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 1 Value Pack

3rd Edition

Current Trends in Automated Reasoning

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Oxford Maths for Australian Schools Year 6 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 3 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 4 Practice and Mastery Book

3rd Edition

Building Thinking Classrooms in Mathematics, Grades K-12

14 Teaching Practices for Enhancing Learning

Maths Plus Australian Curriculum Mentals and Homework Book - Year 2 (2023)

Maths Plus Australian Curriculum Edition

Oxford Maths for Australian Schools Year 2 Practice and Mastery Book

3rd Edition

Maths Sequences for the Early Years F-2

Challenging Children to Reason Mathematically

Foundation Maths

7th Edition

Oxford Maths for Australian Schools Year F Value Pack

3rd Edition

Teaching Secondary Mathematics

2nd Edition

Alex's Adventures in Numberland

Tenth Anniversary Edition

The Language of Mathematics

The Stories behind the Symbols

Unequal

The Maths of When Things Do and Don't Add Up

This product is categorised by