Conferences in DBLP

Conference for Computer Science Logic (CSL) (csl)
1993 (conf/csl/1993)

1. 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]
   
2. Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
   On Duality for the Modal µ-Calculus. [Citation Graph (0, 0)][DBLP]
   CSL, 1993, pp:18-32 [Conf]
   
3. Matthias Baaz, Richard Zach
   Short Proofs of Tautologies Using the Schema of Equivalence. [Citation Graph (0, 0)][DBLP]
   CSL, 1993, pp:33-35 [Conf]
   
4. Jan A. Bergstra, Inge Bethke, Alban Ponse
   Process Algebra with Combinators. [Citation Graph (0, 0)][DBLP]
   CSL, 1993, pp:36-65 [Conf]
   
5. Andreas Blass
   Is Game Semantics Necessary? [Citation Graph (0, 0)][DBLP]
   CSL, 1993, pp:66-77 [Conf]
   
6. Kevin J. Compton, Rosario Uceda-Sosa
   The Model Theory of Concurrency. [Citation Graph (0, 0)][DBLP]
   CSL, 1993, pp:78-90 [Conf]
   
7. Catarina Coquand
   From Semantics to Rules: A Machine Assisted Analysis. [Citation Graph (0, 0)][DBLP]
   CSL, 1993, pp:91-105 [Conf]
   
8. 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]
   
9. Alexey Gomolko
   Negation as Inconsistency in PROLOG via Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   CSL, 1993, pp:128-138 [Conf]
   
10. 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]
    
11. Martin Grohe
    Bounded-Arity Hierarchies in Fixed-Point Logics. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:150-164 [Conf]
    
12. Yoram Hirshfeld
    Petri Nets and the Equivalence Problem. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:165-174 [Conf]
    
13. Dexter Kozen
    Logical Aspects of Set Constraints. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:175-188 [Conf]
    
14. Johann A. Makowsky, Y. B. Pnueli
    Oracles and Quantifiers. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:189-222 [Conf]
    
15. Jerzy Marcinkowski
    A Horn Clause that Implies and Undecidable Set of Horn Clauses. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:223-237 [Conf]
    
16. Robin Milner
    Higher-Order Action Calculi. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:238-260 [Conf]
    
17. 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]
    
18. Christophe Raffalli
    Data Types, Infinity and Equality in System AF₂. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:280-294 [Conf]
    
19. Eike Ritter
    Normalization for Typed Lambda Calculi with Explicit Substitution. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:295-304 [Conf]
    
20. Wilfried Sieg, Stanley S. Wainer
    Program Transformation and Proof Transformation. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:305-317 [Conf]
    
21. Iain A. Stewart
    Incorporating Generalized Quantifiers and the Least Fixed Point Operator. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:318-333 [Conf]
    
22. 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]