Coverart for item
The Resource Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers, Egon Börger, Yuri Gurevich, Karl Meinke, (eds.)

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers, Egon Börger, Yuri Gurevich, Karl Meinke, (eds.)

Label
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Title
Computer science logic
Title remainder
7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Statement of responsibility
Egon Börger, Yuri Gurevich, Karl Meinke, (eds.)
Creator
Contributor
Subject
Genre
Language
eng
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 calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1993
http://bibfra.me/vocab/lite/meetingName
Workshop on Computer Science Logic
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1946-
http://library.link/vocab/relatedWorkOrContributorName
  • Börger, E.
  • Gurevich, Yuri
  • Meinke, K.
Series statement
Lecture notes in computer science
Series volume
832
http://library.link/vocab/subjectName
  • Computer science
  • Logic, Symbolic and mathematical
Label
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers, Egon Börger, Yuri Gurevich, Karl Meinke, (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Control code
30734853
Dimensions
23 cm
Extent
viii, 336 pages
Isbn
9780387582771
Isbn Type
(New York : acid-free paper)
Lccn
94028234
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1604035
Label
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers, Egon Börger, Yuri Gurevich, Karl Meinke, (eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Control code
30734853
Dimensions
23 cm
Extent
viii, 336 pages
Isbn
9780387582771
Isbn Type
(New York : acid-free paper)
Lccn
94028234
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1604035

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...