Journals in DBLP

Theor. Comput. Sci.
1993, volume: 118, number: 2

1. Pierre Deransart
   Proof Methods of Declarative Properties of Definite Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:118, n:2, pp:99-166 [Journal]
   
2. Hubert Comon
   Complete Axiomatizations of Some Quotient Term Algebras. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:118, n:2, pp:167-191 [Journal]
   
3. Iain A. Stewart
   Methods for Proving Completeness via Logical Reductions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:118, n:2, pp:193-229 [Journal]
   
4. M. Draghicescu, S. Purushothaman
   A Uniform Treatment of Order of Evalaution and Aggregate Update. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:118, n:2, pp:231-262 [Journal]
   
5. Jan Friso Groote
   Transition System Specifications with Negative Premises. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:118, n:2, pp:263-299 [Journal]
   
6. Alex K. Simpson
   A Characterisation of the Least-Fixed-Point Operator by Dinaturality. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:118, n:2, pp:301-314 [Journal]