Journals in DBLP

Theor. Comput. Sci.
1983, volume: 24, number:

1. Horst Wedde
   An Iterative and Starvation-Free Solution for a General Class of Distributed Control Problems Based on Interaction Primitives. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:24, n:, pp:1-20 [Journal]
   
2. Aldo de Luca, Antonio Restivo, Sergio Salemi
   On the Centers of a Language. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:24, n:, pp:21-34 [Journal]
   
3. Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier
   On the Control Power of Integer Division. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:24, n:, pp:35-52 [Journal]
   
4. John J. Grefenstette
   Stability in L Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:24, n:, pp:53-71 [Journal]
   
5. David A. Schmidt
   Approximation Properties of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:24, n:, pp:73-94 [Journal]
   
6. Robert P. Daley
   On the Error Correcting Power of Pluralism in BC-Type Inductive Inference. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:24, n:, pp:95-104 [Journal]
   
7. Osamu Watanabe
   The Time-Precision Tradeoff Problem on On-Line Probabilistic Turing Machines. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:24, n:, pp:105-117 [Journal]
   
8. Bernard Chazelle, Louis Monier
   Unbounded Hardware is Equivalent to Deterministic Turing Machines. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:24, n:, pp:123-130 [Journal]
   
9. N. Soundararajan
   Correctness Proofs of CSP Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:24, n:, pp:131-141 [Journal]
   
10. K. K. Nambiar, Thiruvengadam Radhakrishnan, V. G. Tikekar
    Representation of Functional Dependencies in Relational Databases Using Linear Graphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:143-159 [Journal]
    
11. Akira Nakamura, Kunio Aizawa
    On a Relationship between Graph L-Systems and Picture Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:161-177 [Journal]
    
12. Manabu Toda, Katsushi Inoue, Itsuo Takanami
    Two-Dimensional Pattern Matching by Two-Dimensional on-Line Tessellation Acceptors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:179-194 [Journal]
    
13. Rani Siromoney, V. Rajkumar Dare, K. G. Subramanian
    Infinite Arrays and Infinite Computations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:195-205 [Journal]
    
14. A. Bagchi, A. Mahanti
    Admissible Heuristic Search in And/Or Graphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:207-219 [Journal]
    
15. James A. Storer
    Toward an Abstract Theory of Data Compression. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:221-237 [Journal]
    
16. Joos Heintz
    Definability and Fast Quantifier Elimination in Algebraically Closed Fields. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:239-277 [Journal]
    
17. Steven Homer, Wolfgang Maass
    Oracle-Dependent Properties of the Lattice of NP Sets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:279-289 [Journal]
    
18. Umesh V. Vazirani, Vijay V. Vazirani
    A Natural Encoding Scheme Proved Probabilistic Polynomial Complete. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:291-300 [Journal]
    
19. Ronald V. Book
    Decidable Sentences of Church-Rosser Congruences. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:301-312 [Journal]
    
20. Oscar H. Ibarra
    On Some Decision Questions Concerning Pushdown Machines. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:313-322 [Journal]
    
21. Patrick C. Fischer, Jiann H. Jou, Don-Min Tsou
    Succinctness in Dependency Systems. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:323-329 [Journal]
    
22. Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
    A Relationship between Two-Dimensional Finite Automata and Three-Way Tape-Bounded Two-Dimensional Turing Machines. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:331-336 [Journal]
    
23. Ernst-Rüdiger Olderog
    On the Notion of Expressiveness and the Rule of Adaption. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:337-347 [Journal]