Journals in DBLP

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

1. Paul Taylor 0002
   Computably Based Locally Compact Spaces. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
   
2. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
   Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
   
3. Brijesh Dongol, Doug Goldson
   Extending the theory of Owicki and Gries with a logic of progress. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
   
4. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
   Approximate reasoning for real-time probabilistic processes. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
   
5. Antonín Kucera, Javier Esparza, Richard Mayr
   Model Checking Probabilistic Pushdown Automata. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
   
6. Phuong Nguyen, Stephen A. Cook
   Theories for TC0 and Other Small Complexity Classes. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]