Journals in DBLP

Theor. Comput. Sci.
1990, volume: 77, number: 1&2

1. Laurette Bradley
   Abstract Language Design. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:77, n:1&2, pp:5-26 [Journal]
   
2. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
   Compatibility Problems in the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:77, n:1&2, pp:27-71 [Journal]
   
3. Susan Even, David A. Schmidt
   Category-Sorted Algebra-Based Action Semantics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:77, n:1&2, pp:73-95 [Journal]
   
4. Ryszard Janicki, Tomasz Müldner
   Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:77, n:1&2, pp:97-129 [Journal]
   
5. Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
   Equational Type Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:77, n:1&2, pp:131-159 [Journal]
   
6. Don Pigozzi
   Data Types over Multiple-Values Logics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:77, n:1&2, pp:161-194 [Journal]
   
7. Eric G. Wagner
   An Algebraically Specified Language for Data Directed Design. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:77, n:1&2, pp:195-219 [Journal]