Journals in DBLP

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

1. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
   Security Policies as Membranes in Systems for Global Computing. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:3, pp:- [Journal]
   
2. Joseph Y. Halpern, Riccardo Pucella
   Probabilistic Algorithmic Knowledge. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:3, pp:- [Journal]
   
3. Christopher Hardin
   Modularizing the Elimination of r=0 in Kleene Algebra. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:3, pp:- [Journal]
   
4. Bas Spitters
   Almost periodic functions, constructively. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2005, v:1, n:3, pp:- [Journal]