Journals in DBLP

Theor. Comput. Sci.
1995, volume: 150, number: 1

1. Giorgio Ausiello, Pierluigi Crescenzi, Marco Protasi
   Approximate Solution of NP Optimization Problems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:150, n:1, pp:1-55 [Journal]
   
2. Jirí Adámek, Václav Koubek
   On the Greatest Fixed Point of a Set Functor. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:150, n:1, pp:57-75 [Journal]
   
3. Manfred Droste
   Recognizable Languages in Concurrency Monoids. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:150, n:1, pp:77-109 [Journal]
   
4. David A. Naumann
   Predicate Transformers and Higher-Order Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:150, n:1, pp:111-159 [Journal]
   
5. Paul H. B. Gardiner
   Algebraic Proofs of Consistency and Completeness. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:150, n:1, pp:161-191 [Journal]