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