
Conferences in DBLP
 Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers
The Complexity of Set Constraints. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:117 [Conf]
 Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
On Duality for the Modal µCalculus. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:1832 [Conf]
 Matthias Baaz, Richard Zach
Short Proofs of Tautologies Using the Schema of Equivalence. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:3335 [Conf]
 Jan A. Bergstra, Inge Bethke, Alban Ponse
Process Algebra with Combinators. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:3665 [Conf]
 Andreas Blass
Is Game Semantics Necessary? [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:6677 [Conf]
 Kevin J. Compton, Rosario UcedaSosa
The Model Theory of Concurrency. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:7890 [Conf]
 Catarina Coquand
From Semantics to Rules: A Machine Assisted Analysis. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:91105 [Conf]
 Andreas Goerdt, Udo Kamps
On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:106127 [Conf]
 Alexey Gomolko
Negation as Inconsistency in PROLOG via Intuitionistic Logic. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:128138 [Conf]
 Erich Grädel, Anders Malmström
Approximable Minimization Problems and Optimal Solutions on Random Inputs. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:139149 [Conf]
 Martin Grohe
BoundedArity Hierarchies in FixedPoint Logics. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:150164 [Conf]
 Yoram Hirshfeld
Petri Nets and the Equivalence Problem. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:165174 [Conf]
 Dexter Kozen
Logical Aspects of Set Constraints. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:175188 [Conf]
 Johann A. Makowsky, Y. B. Pnueli
Oracles and Quantifiers. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:189222 [Conf]
 Jerzy Marcinkowski
A Horn Clause that Implies and Undecidable Set of Horn Clauses. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:223237 [Conf]
 Robin Milner
HigherOrder Action Calculi. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:238260 [Conf]
 C.H. Luke Ong, Eike Ritter
A Generic Strong Normalization Argument: Application to the Calculus of Constructions. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:261279 [Conf]
 Christophe Raffalli
Data Types, Infinity and Equality in System AF_{2}. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:280294 [Conf]
 Eike Ritter
Normalization for Typed Lambda Calculi with Explicit Substitution. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:295304 [Conf]
 Wilfried Sieg, Stanley S. Wainer
Program Transformation and Proof Transformation. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:305317 [Conf]
 Iain A. Stewart
Incorporating Generalized Quantifiers and the Least Fixed Point Operator. [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:318333 [Conf]
 Yuri Gurevich, James K. Huggins
ERRATA to "The Semantics of the C Programming Language". [Citation Graph (0, 0)][DBLP] CSL, 1993, pp:334336 [Conf]
