Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ]