Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 126, number:

1. Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:1-2 [Journal]
   
2. Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
   Algebra and Sequent Calculus for Epistemic Actions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:27-52 [Journal]
   
3. Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
   Toward Reasoning about Security Protocols: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:53-75 [Journal]
   
4. Sieuwert van Otterloo, Geert Jonker
   On Epistemic Temporal Strategic Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:77-92 [Journal]
   
5. Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
   Bounded Model Checking for Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:93-114 [Journal]