|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
- 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]
|