Journals in DBLP

Theor. Comput. Sci.
1995, volume: 149, number: 2

1. Antonio Brogi, Franco Turini
   Fully Abstract Composition Semantics for an Algebra of Logic Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:149, n:2, pp:201-209 [Journal]
   
2. Stefania Costantini
   Contributions to the Stable Model Semantics of Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:149, n:2, pp:231-255 [Journal]
   
3. Uri Abraham
   On Interprocess Communication and the Implementation of Multi-Writer Atomic Registers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:149, n:2, pp:257-298 [Journal]
   
4. Ugo Montanari, Daniel Yankelevich
   Location Equivalence in Parametric Setting. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:149, n:2, pp:299-332 [Journal]
   
5. Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia
   Embedding a Demonic Semilattice in a Relational Algebra. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:149, n:2, pp:333-360 [Journal]
   
6. Manfred Schmidt-Schauß, Massimo Marchiori, Sven Eric Panitz
   Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:149, n:2, pp:361-374 [Journal]