Journals in DBLP

Theor. Comput. Sci.
2004, volume: 318, number: 3

1. Mila E. Majster-Cederbaum, Frank Salger
   Towards the hierarchical verification of reactive systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:318, n:3, pp:243-296 [Journal]
   
2. Rajeev Alur, Salvatore La Torre, George J. Pappas
   Optimal paths in weighted timed automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:318, n:3, pp:297-322 [Journal]
   
3. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
   Metrics for labelled Markov processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:318, n:3, pp:323-354 [Journal]
   
4. Georg Karner
   Continuous monoids and semirings. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:318, n:3, pp:355-372 [Journal]
   
5. Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva
   The decidability of a fragment of BB'IW-logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:318, n:3, pp:373-408 [Journal]
   
6. Ugo Dal Lago, Simone Martini
   Phase semantics and decidability of elementary affine logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:318, n:3, pp:409-433 [Journal]
   
7. Robin N. Banerjee, Andrés Bujosa
   A geometric interpretation of LD-resolution. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:318, n:3, pp:435-470 [Journal]