Journals in DBLP

Theor. Comput. Sci.
1988, volume: 59, number:

1. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
   Narrowing vs. SLD-Resolution. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1988, v:59, n:, pp:3-23 [Journal]
   
2. Gérard Boudol, Ilaria Castellani
   Concurrency and Atomicity. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1988, v:59, n:, pp:25-84 [Journal]
   
3. Val Tannen, Thierry Coquand
   Extensional Models for Polymorphism. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1988, v:59, n:, pp:85-114 [Journal]
   
4. Michael C. Browne, Edmund M. Clarke, Orna Grumberg
   Characterizing Finite Kripke Structures in Propositional Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1988, v:59, n:, pp:115-131 [Journal]
   
5. Wlodzimierz Drabent, Jan Maluszynski
   Inductive Assertion Method for Logic Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1988, v:59, n:, pp:133-155 [Journal]
   
6. Yves Lafont
   The Linear Abstract Machine. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1988, v:59, n:, pp:157-180 [Journal]
   
7. Simona Ronchi Della Rocca
   Principal Type Scheme and Unification for Intersection Type Discipline. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1988, v:59, n:, pp:181-209 [Journal]
   
8. Wim H. Hesselink
   Interpretations of Recursion under Unbounded Nondeterminacy. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1988, v:59, n:, pp:211-234 [Journal]
   
9. Wim H. Hesselink
   Deadlock and Fairness in Morphisms of Transition Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1988, v:59, n:, pp:235-257 [Journal]
   
10. A. Scottedward Hodel, Michael C. Loui
    Optimal Dynamic Embedding of X-Trees Into Arrays. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:259-276 [Journal]
    
11. K. Kalorkoti
    The Trace Invariant and Matrix Inversion. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:277-286 [Journal]
    
12. Manfred Schmidt-Schauß
    Implication of Clauses is Undecidable. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:287-296 [Journal]
    
13. Wojciech Rytter
    On Efficient Parallel Computations for some Dynamic Programming Problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:297-307 [Journal]
    
14. Joost Engelfriet, George Leih
    Nonterminal Bounded NLC Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:309-315 [Journal]
    
15. Allen Stoughton
    Substitution Revisited. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:317-325 [Journal]