The SCEAS System
Navigation Menu

Journals in DBLP

Logical Methods in Computer Science
2006, volume: 2, number: 2

  1. Bruno Courcelle
    The monadic second-order logic of graphs XVI : Canonical graph decompositions. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
  2. Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
    On the Expressiveness of the Ambient Logic. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
  3. Carsten Lutz, Frank Wolter
    Modal Logics of Topological Relations. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
  4. Alwen Tiu
    A System of Interaction and Structure II: The Need for Deep Inference. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
  5. Arnaud Carayol, Antoine Meyer
    Context-Sensitive Languages, Rational Graphs and Determinism. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
  6. Kristian Støvring
    Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
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