The SCEAS System
Navigation Menu

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 AF2. [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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002