7. CSL 1993: Swansea, United Kingdom
Egon Börger, Yuri Gurevich, Karl Meinke (Eds.):
Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers.
Lecture Notes in Computer Science 832 Springer 1994, ISBN 3-540-58277-0 
- 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 AF2.
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
Last update Thu May 24 04:15:27 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
