Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (Book, 1994) [WorldCat.org]
skip to content
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers Preview this item
ClosePreview this item
Checking...

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Author: E Börger; Yuri Gurevich; K Meinke
Publisher: Berlin ; New York : Springer-Verlag, ©1994.
Series: Lecture notes in computer science, 832.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic resources (Books)
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Workshop on Computer Science Logic (7th : 1993 : Swansea, Wales).
Computer science logic.
Berlin ; New York : Springer-Verlag, ©1994
(OCoLC)681046779
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: E Börger; Yuri Gurevich; K Meinke
ISBN: 3540582770 9783540582779 0387582770 9780387582771
OCLC Number: 30734853
Description: viii, 336 pages : illustrations ; 24 cm.
Contents: The Complexity of Set Constraints / A. Aiken, D. Kozen, M. Vardi and E. Wimmers --
On Duality for the Modal [mu]-calculus / S. Ambler, M. Kwiatkowska and N. Measor --
Short Proofs of Tautologies Using the Schema of Equivalence / M. Baaz and R. Zach --
Process Algebra with Combinators / J.A. Bergstra, I. Bethke and A. Ponse --
Is Game Semantics Necessary? / A. Blass --
The Model Theory of Concurrency / K.J. Compton and R. Uceda-Sosa --
From Semantics to Rules: a Machine Assisted Analysis / C. Coquand --
On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search / A. Goerdt and U. Kamps --
Negation as Inconsistency in PROLOG via Intuitionistic Logic / A. Gomolko --
Approximable Minimisation Problems and Optimal Solutions on Random Inputs / E. Gradel and A. Malmstrom --
Bounded-arity Hierarchies in Fixed-point Logics / M. Grohe --
Petri Nets and the Equivalence Problem / Y. Hirshfeld --
Logical Aspects of Set Constraints / D. Kozen. Oracles and Quantifiers / J.A. Makowsky and Y.B. Pnueli --
A Horn Clause that Implies an Undecidable Set of Horn Clauses / J. Marcinkowski --
Higher-order Action Calculi / R. Milner --
A Generic Strong Normalisation Argument: Application to the Calculus of Constructions / C.-H.L. Ong and E. Ritter --
Data Types, Infinity and Equality in System AF[subscript 2] / C. Raffalli --
Normalisation for Typed Lambda Calculi with Explicit Substitution / E. Ritter --
Program Transformation and Proof Transformation / W. Sieg and S.S. Wainer --
Incorporating Generalised Quantifiers and the Least Fixed Point Operator / I.A. Stewart --
Errata to "The Semantics of the C Programming Language" / Y. Gurevich and J.K. Huggins.
Series Title: Lecture notes in computer science, 832.
Responsibility: Egon Börger, Yuri Gurevich, Karl Meinke, eds.
More information:

Abstract:

This volume contains a selection of papers presented at the Conference of the European Association for Computer Science Logic, held at Swansea in September 1993. Topics discussed include set  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.