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

or

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

More in Computer Science

Python Crash Course

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

Paperback

RRP $89.99

$64.99

28%
OFF

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Paperback

RRP $74.95

$55.75

26%
OFF

AI for Business

A Guide to AI Adoption

Paperback

RRP $49.99

$40.75

18%
OFF

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Paperback

RRP $36.99

$29.75

20%
OFF

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$38.75

22%
OFF

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Paperback

RRP $36.99

$29.75

20%
OFF

The AI Con

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

Paperback

RRP $36.99

$29.75

20%
OFF

Nexus

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

Paperback

RRP $29.99

$23.99

20%
OFF

Hands-On Machine Learning with Scikit-Learn and PyTorch : Concepts, Tools, and Techniques to Build Intelligent Systems - Aurelien Geron

$44.75

23%
OFF

Machine Learning For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $57.95

$44.75

23%
OFF

New Beginnings

why change is so difficult and how to achieve it

Paperback

RRP $32.99

$26.99

18%
OFF

The Tech Coup

How to Save Democracy from Silicon Valley

Paperback

RRP $29.99

$26.75

11%
OFF

The Singularity is Nearer

When We Merge with AI

Paperback

RRP $26.99

$22.99

15%
OFF

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Paperback

RRP $26.99

$22.99

15%
OFF

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Paperback

RRP $24.99

$21.75

13%
OFF

The Shortest History of AI

Paperback

RRP $27.99

$22.75

19%
OFF

Artificial Intelligence

A Modern Approach, 4th Global Edition

Paperback

RRP $132.25

$99.75

25%
OFF

The Next Renaissance : AI and the Expansion of Human Potential - Zack Kass

$281.75

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

The AI Marketing Canvas, Second Edition

A Five-Step AI Plan for Marketers

Paperback

RRP $64.99

$53.99

17%
OFF

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

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

Python Crash Course

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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

AI for Business

A Guide to AI Adoption

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The AI Con

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

Nexus

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

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Creative Machines

AI, Art & Us

Machine Learning For Dummies

For Dummies (Computer/Tech)

New Beginnings

why change is so difficult and how to achieve it

The Tech Coup

How to Save Democracy from Silicon Valley

The Singularity is Nearer

When We Merge with AI

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The Shortest History of AI

Artificial Intelligence

A Modern Approach, 4th Global Edition

The Next Renaissance

AI and the Expansion of Human Potential

Python Workout, Second Edition

200 ten-minute exercises

Context-based Modeling of Activity in Real-World Projects

ISTE Invoiced

Python All-in-One For Dummies

3rd Edition

The AI Marketing Canvas, Second Edition

A Five-Step AI Plan for Marketers

Building Microservices

Designing Fine-Grained Systems 2nd Edition

This product is categorised by