The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002