+612 9045 4394
Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers - Dirk van Dalen

Computer Science Logic

10th International Workshop, CSL '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers

By: Dirk van Dalen (Editor), Marc Bezem (Editor)

Paperback Published: 18th June 1997
ISBN: 9783540631729
Number Of Pages: 479

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.
The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.

Four-Valued Diagnoses for Stratified Knowledge-Basesp. 1
Fast Cut-Elimination by Projectionp. 18
On the Subject Reduction Property for Algebraic Type Systemsp. 34
Presheaf Models for Concurrencyp. 58
Directed Virtual Reductionsp. 76
Bounded-Variable Fixpoint Queries are PSPACE-completep. 89
Graph Rewriting Semantics for Functional Programming Languagesp. 106
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theoryp. 129
Relative Undecidability in Term Rewritingp. 150
Extending Models of Second Order Predicate Logic to Models of Second Order Dependent Type Theoryp. 167
Eta-Expansions in F[actual symbol not reproducible]p. 182
Cut-Free Display Calculi for Relation Algebrasp. 198
Computational Aspects of Arity Hierarchiesp. 211
Weak Semantics Based on Lighted Button Pressing Experimentsp. 226
Kleene Algebra with Tests: Completeness and Decidabilityp. 244
Monadic NP and Built-In Treesp. 260
Coercive Subtyping in Type Theoryp. 275
Proofs in System F[actual symbol not reproducible] Can Be Done in System F[actual symbol not reproducible]p. 297
Optimization Problems with Approximation Schemesp. 316
Computational Representatives of Herbrand Models Using Grammarsp. 334
Exact Pairs for Abstract Bounded Reducibilitiesp. 349
The Logic of Explicitly Presentation-Invariant Circuitsp. 369
Social Confluence in Client-Server Systemsp. 385
A Type-Free Resource-Aware [lambda]-calculusp. 399
Inductive Definitions with Decidable Atomic Formulasp. 414
Call-by-value, Call-by-name and the Logic of Valuesp. 431
On Cartesian Monoidsp. 446
New Intuitionistic Logical Constants: Undecidability of the Conservativeness Problemp. 460
Author Indexp. 473
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540631729
ISBN-10: 3540631720
Series: Transport and Chemical Transformation of Pollutants in the T
Audience: General
Format: Paperback
Language: English
Number Of Pages: 479
Published: 18th June 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.49
Weight (kg): 0.68