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

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

Saved in:
Bibliographic Details
Corporate Author: Workshop on Computer Science Logic Swansea, Wales
Other Authors: Börger, E. (Egon), 1946-, Meinke, K. (Karl), Gurevich, Yuri
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1994.
Series:Lecture notes in computer science ; 832
Subjects:
Computer science > Congresses.
Logic, Symbolic and mathematical > Congresses.
Table of 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.

Similar Items