Journals in DBLP

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

1. Martín Abadi, Bruno Blanchet
   Secrecy types for asymmetric communication. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:3, n:298, pp:387-415 [Journal]
   
2. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
   Equational theories of tropical semirings. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:3, n:298, pp:417-469 [Journal]
   
3. Michel Bidoit, Rolf Hennicker, Alexander Kurz
   Observational logic, constructor-based logic, and their duality. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:3, n:298, pp:471-510 [Journal]
   
4. Mikolaj Bojanczyk
   The finite graph problem for two-way alternating automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:3, n:298, pp:511-528 [Journal]
   
5. Nadia Busi, Gianluigi Zavattaro
   Expired data collection in shared dataspaces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:3, n:298, pp:529-556 [Journal]
   
6. Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat
   Program logic and equivalence in the presence of garbage collection. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:3, n:298, pp:557-581 [Journal]
   
7. Gerwin Klein, Tobias Nipkow
   Verified bytecode verifiers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:3, n:298, pp:583-626 [Journal]