The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Samson Abramsky, Guy McCusker
    Call-by-Value Games. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:1-17 [Conf]
  2. Abdelwaheb Ayari, David A. Basin, Andreas Podelski
    LISA: A Specification Language Based on WS2S. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:18-34 [Conf]
  3. Rolf Backofen, Peter Clote
    Evolution as a Computational Engine. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:35-55 [Conf]
  4. Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
    Timeless Games. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:56-77 [Conf]
  5. Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin
    From Action Calculi to Linear Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:78-97 [Conf]
  6. Piero A. Bonatti, Nicola Olivetti
    A Sequent Calculus for Circumscription. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:98-114 [Conf]
  7. Maria Luisa Bonet, Nicola Galesi
    Linear Lower Bounds and Simulations in Frege Systems with Substitutions. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:115-128 [Conf]
  8. Torben Braüner, Valeria de Paiva
    A Formulation of Linear Logic Based on Dependency-Relations. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:129-148 [Conf]
  9. Samuel R. Buss, Toniann Pitassi
    Resolution and the Weak Pigeonhole Principle. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:149-156 [Conf]
  10. Hubert Comon, Yan Jurski
    Higher-Order Matching and Tree Automata. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:157-176 [Conf]
  11. Thierry Coquand, Henrik Persson
    A Proof-Theoretical Investigation of Zantema's Problem. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:177-188 [Conf]
  12. Arnaud Durand, Ronald Fagin, Bernd Loescher
    Spectra with Only Unary Function Symbols. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:189-202 [Conf]
  13. Claudia Faggian
    Classical Proofs via Basic Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:203-219 [Conf]
  14. Martin Grohe
    Canonization for Lk-equivalence is Hard. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:220-238 [Conf]
  15. Chrysafis Hartonas, Matthew Hennessy
    Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:239-254 [Conf]
  16. Reinhold Heckmann, Michael Huth
    A Duality Theory for Quantitative Semantics. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:255-274 [Conf]
  17. Martin Hofmann
    A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:275-294 [Conf]
  18. Marco Hollenberg
    Equational Axioms of Test Algebra. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:295-310 [Conf]
  19. Nils Klarlund
    Mona & Fido: The Logic-Automaton Connection in Practice. [Citation Graph (1, 0)][DBLP]
    CSL, 1997, pp:311-326 [Conf]
  20. Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis
    Existence of Reduction Hierarchies. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:327-340 [Conf]
  21. Yiannis N. Moschovakis
    A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:341-359 [Conf]
  22. Frédéric Olive
    A Conjunctive Logical Characterization of Nondeterministic Linear Time. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:360-372 [Conf]
  23. Elena Pezzoli
    On the Computational Complexity of Type 2 Functionals. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:373-388 [Conf]
  24. A. John Power
    Categories with Algebraic Structure. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:389-405 [Conf]
  25. Paul Ruet, François Fages
    Concurrent Constraint Programming and Non-commutative Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:406-423 [Conf]
  26. Ina Schiering
    A Hierarchical Approach to Monadic Second-Order Logic over Graphs. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:424-440 [Conf]
  27. Nicole Schweikardt
    The Monadic Quantifier Alternation Hierarchy over Grids and Pictures. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:441-460 [Conf]
  28. Thomas Schwentick
    Padding and the Expressive Power of Existential Second-Order Logics. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:461-477 [Conf]
  29. Ludwig Staiger
    Rich omega-Words and Monadic Second-Order Arithmetic. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:478-490 [Conf]
  30. Paul J. Voda
    A Simple Ordinal Recursive Normalization of Gödel's T. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:491-509 [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