The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Peter W. O'Hearn, John C. Reynolds, Hongseok Yang
    Local Reasoning about Programs that Alter Data Structures. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:1-19 [Conf]
  2. Jan Van den Bussche
    Applications of Alfred Tarski's Ideas in Database Theory. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:20-37 [Conf]
  3. Jean-Yves Girard
    Locus Solum: From the Rules of Logic to the Logic of Rules. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:38- [Conf]
  4. Max I. Kanovich
    The Expressive Power of Horn Monadic Linear Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:39-53 [Conf]
  5. Alessio Guglielmi, Lutz Straßburger
    Non-commutativity and MELL in the Calculus of Structures. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:54-68 [Conf]
  6. Virgile Mogbil
    Quadratic Correctness Criterion for Non-commutative Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:69-83 [Conf]
  7. Yijia Chen, Enshao Shen
    Capture Complexity by Partition. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:84-98 [Conf]
  8. Martin Grohe, Stefan Wöhrle
    An Existential Locality Theorem. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:99-114 [Conf]
  9. Jean-Yves Marion
    Actual Arithmetic and Feasibility. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:115-129 [Conf]
  10. Nicole Schweikardt
    The Natural Order-Generic Collapse for omega-Representable Databases over the Rational and the Real Ordered Group. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:130-144 [Conf]
  11. John Power, Konstantinos Tourlas
    An Algebraic Foundation for Higraphs. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:145-159 [Conf]
  12. Margarita V. Korovina, Oleg V. Kudinov
    Semantic Characterisations of Second-Order Computability over the Real Numbers. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:160-172 [Conf]
  13. Edmund Robinson, Giuseppe Rosolini
    An Abstract Look at Realizability. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:173-187 [Conf]
  14. Vincent Danos, Russell Harmer
    The Anatomy of Innocence. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:188-202 [Conf]
  15. Marc Bezem
    An Improved Extensionality Criterion for Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:203-216 [Conf]
  16. Robert F. Stärk, Stanislas Nanchen
    A Logic for Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:217-231 [Conf]
  17. Jan van Eijck
    Constrained Hyper Tableaux. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:232-246 [Conf]
  18. Carsten Lutz, Ulrike Sattler, Frank Wolter
    Modal Logic and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:247-261 [Conf]
  19. Frédéric Koriche
    A Logic for Approximate First-Order Reasoning. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:262-276 [Conf]
  20. Anuj Dawar, Erich Grädel, Stephan Kreutzer
    Inflationary Fixed Points in Modal Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:277-291 [Conf]
  21. Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
    Categorical and Kripke Semantics for Constructive S4 Modal Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:292-307 [Conf]
  22. Thomas Marthedal Rasmussen
    Labelled Natural Deduction for Interval Logics. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:308-323 [Conf]
  23. Frank S. de Boer, Rogier M. van Eijk
    Decidable Navigation Logics for Object Structures. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:324-338 [Conf]
  24. Witold Charatonik, Jean-Marc Talbot
    The Decidability of Model Checking Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:339-354 [Conf]
  25. Matthias Galota, Heribert Vollmer
    A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:355-368 [Conf]
  26. Olivier Finkel
    An Effective Extension of the Wagner Hierarchy to Blind Counter Automata. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:369-383 [Conf]
  27. Felix Klaedtke
    Decision Procedure for an Extension of WS1S. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:384-398 [Conf]
  28. Yohji Akama
    Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:399-413 [Conf]
  29. Simona Ronchi Della Rocca, Luca Roversi
    Intersection Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:414-428 [Conf]
  30. Lutz Schröder
    Life without the Terminal Type. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:429-442 [Conf]
  31. Samson Abramsky, Marina Lenisa
    Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:443-457 [Conf]
  32. Keye Martin
    A Principle of Induction. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:458-468 [Conf]
  33. Matthias Baaz, Georg Moser
    On a Generalisation of Herbrand's Theorem. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:469-483 [Conf]
  34. Jean Goubault-Larrecq
    Well-Founded Recursive Relations. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:484-497 [Conf]
  35. Manfred Schmidt-Schauß
    Stratified Context Unification Is in PSPACE. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:498-512 [Conf]
  36. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
    Uniform Derivation of Decision Procedures by Superposition. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:513-527 [Conf]
  37. Grigore Rosu
    Complete Categorical Equational Deduction. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:528-538 [Conf]
  38. Hitoshi Ohsaki
    Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:539-553 [Conf]
  39. Pierre Courtieu
    Normalized Types. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:554-569 [Conf]
  40. Alexei Kopylov, Aleksey Nogin
    Markov's Principle for Propositional Type Theory. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:570-584 [Conf]
  41. Carsten Schürmann
    Recursion for Higher-Order Encodings. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:585-599 [Conf]
  42. Ralph Matthes
    Monotone Inductive and Coinductive Constructors of Rank 2. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:600-614 [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