Journals in DBLP

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

1. Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
   Infinitary lambda calculus and discrimination of Berarducci trees. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:2, n:298, pp:275-302 [Journal]
   
2. Rodney G. Downey, Lance Fortnow
   Uniformly hard languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:2, n:298, pp:303-315 [Journal]
   
3. Michael R. Fellows, Catherine McCartin
   On the parametric complexity of schedules to minimize tardy tasks. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:2, n:298, pp:317-324 [Journal]
   
4. Bakhadyr Khoussainov
   On algebraic and logical specifications of classes of regular languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:2, n:298, pp:325-346 [Journal]
   
5. Padmanabhan Krishnan
   Automatic synthesis of a subclass of schedulers in timed systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:2, n:298, pp:347-363 [Journal]
   
6. Eric Martin, Arun Sharma, Frank Stephan
   Learning power and language expressiveness. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:2, n:298, pp:365-383 [Journal]