Journals in DBLP

Theor. Comput. Sci.
1987, volume: 54, number:

1. Jieh Hsiang, Mandayam K. Srivas
   Automatic Inductive Theorem Proving Using Prolog. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:54, n:, pp:3-28 [Journal]
   
2. Finn Verner Jensen, Kim Guldstrand Larsen
   Recursively Defined Doains and their Induction Principles. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:54, n:, pp:29-51 [Journal]
   
3. Alberto Marchetti-Spaccamela
   New Protocols for the Election of a Leader in a Ring. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:54, n:, pp:53-64 [Journal]
   
4. Victor Y. Pan
   Complexity of Parallel Matrix Computations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:54, n:, pp:65-85 [Journal]
   
5. Chandrajit L. Bajaj
   Geometric Optimization and the Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:54, n:, pp:87-102 [Journal]
   
6. V. S. Lakshmanan, C. E. Veni Madhavan
   An Algebraic Theory of Functional and Multivalued Dependencies in Relational Databases. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:54, n:, pp:103-128 [Journal]
   
7. Shankar M. Venkatesan
   Approximation Algorithms for Weighted Matching. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:54, n:, pp:129-137 [Journal]
   
8. Lutz Priese, Ralf Rehrmann, Uwe Willecke-Klemme
   An Introduction to the Regular Theory of Fairness. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:54, n:, pp:139-163 [Journal]
   
9. Giuseppina Rindone
   Construction d'une Famille de Codes Associes a Certains Groupes Finis. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:54, n:, pp:165-179 [Journal]
   
10. Andreas Brandstädt, Dieter Kratsch
    On Domination Problems for Permutation and Other Graphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:181-198 [Journal]
    
11. Andrzej Szalas
    A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:199-214 [Journal]
    
12. J. Robin B. Cockett
    Discrete Decision Theory: Manipulations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:215-236 [Journal]
    
13. Paola Bertolazzi, Antonio Sassano
    An O(mn) Algorithm for Regular Set-Covering Problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:237-247 [Journal]
    
14. Osamu Watanabe
    A Comparison of Polynomial Time Completeness Notions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:249-265 [Journal]
    
15. David E. Muller, Paul E. Schupp
    Alternating Automata on Infinite Trees. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:267-276 [Journal]
    
16. Hugues Fauconnier
    Semantique Asynchrone et Comportements Infinis en CSP. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:277-298 [Journal]
    
17. Seymour Ginsburg, Chang-jie Tang
    Canonical Forms for Interval Functions. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:299-313 [Journal]
    
18. Kazuhiro Sado, Yoshihide Igarashi
    A Function for Evaluating the Computing Time of a Bubbling System. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:315-324 [Journal]
    
19. Shigeki Iwata, Takumi Kasai
    Simultaneous (Poly-Time, Log-Space) Lower Bounds. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:325-329 [Journal]
    
20. Maciej Liskiewicz, Krzysztof Lorys, Marek Piotrów
    On Reversal Bounded Alternating Turing Machines. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:331-339 [Journal]
    
21. Ker-I Ko
    Corrigenda: On the Continued Fraction Representation of Computable Real Numbers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:54, n:, pp:341-343 [Journal]