Journals in DBLP

Theor. Comput. Sci.
1995, volume: 146, number: 1&2

1. Andre Scedrov, Dennis DeTurk, Wolfgang Ziller
   Moez Alimohamed, 1967-1994. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:1-3 [Journal]
   
2. Moez Alimohamed
   A Characterization of lambda Definability in Categorical Models of Implicit Polymorphism. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:5-23 [Journal]
   
3. Bard Bloom
   Structural Operational Semantics for Weak Bisimulations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:25-68 [Journal]
   
4. Zena M. Ariola, Arvind
   Properties of a First-Order Functional Language with Sharing. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:69-108 [Journal]
   
5. Franck Cassez, Olivier Roux
   Compilation of the ELECTRE Reactive Language into Finite Transition Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:109-143 [Journal]
   
6. David B. Kemp, Divesh Srivastava, Peter J. Stuckey
   Bottom-Up Evaluation and Query Optimization of Well-Founded Models. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:145-184 [Journal]
   
7. Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
   Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:185-197 [Journal]
   
8. Maria Paola Bonacina, Jieh Hsiang
   Towards a Foundation of Completion Procedures as Semidecision Procedures. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:199-242 [Journal]
   
9. Rolf Backofen, Gert Smolka
   A Complete and Recursive Feature Theory. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:243-268 [Journal]
   
10. Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman
    Argument Reduction by Factoring. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:269-310 [Journal]
    
11. Fabio Alessi, Paolo Baldan, Gianna Bellè
    A Fixed-Point Theorem in a Category of Compact Metric Spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:311-320 [Journal]
    
12. Yuji Kobayashi
    A Finitely Presented Monoid Which Has Solvable Word Problem But Has No Regular Complete Presentation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:321-329 [Journal]
    
13. Guo-Qiang Zhang
    On Maximal Stable Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:331-339 [Journal]
    
14. Anna Ingólfsdóttir
    Late and Early Semantics Coincide for Testing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:341-349 [Journal]