The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002