Journals in DBLP

Logical Methods in Computer Science
2005, volume: 1, number: 1

1. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
   Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]
   
2. Víctor Dalmau
   Linear datalog and bounded path duality of relational structures. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]
   
3. Jörg Flum, Martin Grohe
   Model-checking problems as a basis for parameterized intractability. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]
   
4. Martin Grohe, Nicole Schweikardt
   The succinctness of first-order logic on linear orders. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]
   
5. Michael Huth
   Labelled transition systems as a Stone space. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]
   
6. Alan Jeffrey, Julian Rathke
   Contextual equivalence for higher-order pi-calculus revisited. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal]