Journals in DBLP

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

1. Don Pigozzi, Antonino Salibra
   Lambda Abstraction Algebras: Representation Theorems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:140, n:1, pp:5-52 [Journal]
   
2. François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen
   Translations Between Modal Logics of Reactive Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:140, n:1, pp:53-71 [Journal]
   
3. Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano
   A Theory of Processes with Durational Actions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:140, n:1, pp:73-94 [Journal]
   
4. Abdelillah Mokkedem, Dominique Méry
   On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:140, n:1, pp:95-138 [Journal]
   
5. Marisa Navarro, Fernando Orejas, Ana Sánchez
   On the Correctness of Modular Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:140, n:1, pp:139-177 [Journal]
   
6. Eric G. Wagner
   On the Role of Memory in Object-Based and Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:140, n:1, pp:179-199 [Journal]