Journals in DBLP

Theor. Comput. Sci.
1990, volume: 72, number: 2&3

1. Giorgio Ausiello, Umberto Nanni
   Dynamic Maintenance of Directed Hypergraphs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:72, n:2&3, pp:97-117 [Journal]
   
2. Erwin Engeler
   Combinatory Differential Fields. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:72, n:2&3, pp:119-131 [Journal]
   
3. Rachid Echahed
   On Completeness of Narrowing Strategies. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:72, n:2&3, pp:133-146 [Journal]
   
4. Jean Françon, B. Randrianarimanana, René Schott
   Analysis of Dynamic Algorithms in Knuth's Model. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:72, n:2&3, pp:147-167 [Journal]
   
5. Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
   Equational Completion in Order-Sorted Algebras. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:72, n:2&3, pp:169-202 [Journal]
   
6. Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
   A2CCKS: Atomic Actions for CCS. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:72, n:2&3, pp:203-223 [Journal]
   
7. Richard Kennaway
   Implementing Term Rewrite Languages in Dactl. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:72, n:2&3, pp:225-249 [Journal]
   
8. Rolf Klein, Derick Wood
   A Tight Upper Bound for the Path Length of AVL Trees. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:72, n:2&3, pp:251-264 [Journal]
   
9. Kim Guldstrand Larsen
   Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:72, n:2&3, pp:265-288 [Journal]