7. CSL 1993: Swansea, United Kingdom

• Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers:
  The Complexity of Set Constraints. 1-17
  
• Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor:
  On Duality for the Modal µ-Calculus. 18-32
  
• Matthias Baaz, Richard Zach:
  Short Proofs of Tautologies Using the Schema of Equivalence. 33-35
  
• Jan A. Bergstra, Inge Bethke, Alban Ponse:
  Process Algebra with Combinators. 36-65
  
• Andreas Blass:
  Is Game Semantics Necessary? 66-77
  
• Kevin J. Compton, Rosario Uceda-Sosa:
  The Model Theory of Concurrency. 78-90
  
• Catarina Coquand:
  From Semantics to Rules: A Machine Assisted Analysis. 91-105
  
• Andreas Goerdt, Udo Kamps:
  On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search. 106-127
  
• Alexey Gomolko:
  Negation as Inconsistency in PROLOG via Intuitionistic Logic. 128-138
  
• Erich Grädel, Anders Malmström:
  Approximable Minimization Problems and Optimal Solutions on Random Inputs. 139-149
  
• Martin Grohe:
  Bounded-Arity Hierarchies in Fixed-Point Logics. 150-164
  
• Yoram Hirshfeld:
  Petri Nets and the Equivalence Problem. 165-174
  
• Dexter Kozen:
  Logical Aspects of Set Constraints. 175-188
  
• Johann A. Makowsky, Y. B. Pnueli:
  Oracles and Quantifiers. 189-222
  
• Jerzy Marcinkowski:
  A Horn Clause that Implies and Undecidable Set of Horn Clauses. 223-237
  
• Robin Milner:
  Higher-Order Action Calculi. 238-260
  
• C.-H. Luke Ong, Eike Ritter:
  A Generic Strong Normalization Argument: Application to the Calculus of Constructions. 261-279
  
• Christophe Raffalli:
  Data Types, Infinity and Equality in System AF₂. 280-294
  
• Eike Ritter:
  Normalization for Typed Lambda Calculi with Explicit Substitution. 295-304
  
• Wilfried Sieg, Stanley S. Wainer:
  Program Transformation and Proof Transformation. 305-317
  
• Iain A. Stewart:
  Incorporating Generalized Quantifiers and the Least Fixed Point Operator. 318-333
  
• Yuri Gurevich, James K. Huggins:
  ERRATA to "The Semantics of the C Programming Language". 334-336