Journals in DBLP

Theor. Comput. Sci.
2003, volume: 291, number: 3

1. Cesare Tinelli, Teodor Rus
   Preface. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:291, n:3, pp:219-221 [Journal]
   
2. Kamel Adi, Mourad Debbabi, Mohamed Mejri
   A new logic for electronic commerce protocols. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:291, n:3, pp:223-283 [Journal]
   
3. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
   A comparison of three authentication properties. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:291, n:3, pp:285-327 [Journal]
   
4. Bart Jacobs, Erik Poll
   Coalgebras and monads in the semantics of Java. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:291, n:3, pp:329-349 [Journal]
   
5. Eric Van Wyk
   Specification languages in algebraic compilers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:291, n:3, pp:351-385 [Journal]