The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1980, volume: 10, number:

  1. Claus-Peter Schnorr, Jean-Paul Van de Wiele
    On the Additive Complexity of Polynomials. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:1-18 [Journal]
  2. Janusz A. Brzozowski, Ernst L. Leiss
    On Equations for Regular Languages, Finite Automata, and Sequential Networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:19-35 [Journal]
  3. Petr Kurka
    Applicability of a Production in a Categorical Grammar. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:37-44 [Journal]
  4. Andrzej Ehrenfeucht, Grzegorz Rozenberg
    Every Two Equivalent D0L Systems have a Regular True Envelope. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:45-52 [Journal]
  5. Werner Hartmann, Peter Schuster
    Multiplicative Complexity of some Rational Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:53-61 [Journal]
  6. Shmuel Zaks
    Lexicographic Generation of Ordered Trees. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:63-82 [Journal]
  7. Claus-Peter Schnorr
    A 3n-Lower Bound on the Network Complexity of Boolean Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:83-92 [Journal]
  8. Joachim Biskup
    Inferences of Multivalued Dependencies in Fixed and Undetermined Universes. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:93-105 [Journal]
  9. Helmut Prodinger
    On the Interpolation of D0L-Sequences. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:107-108 [Journal]
  10. Steven Fortune, John E. Hopcroft, James Wyllie
    The Directed Subgraph Homeomorphism Problem. [Citation Graph (7, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:111-121 [Journal]
  11. Karl J. Lieberherr
    P-Optimal Heuristics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:123-131 [Journal]
  12. E. Wiedmer
    Computing with Infinite Objects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:133-155 [Journal]
  13. Aldo de Luca, Antonio Restivo
    On Some Properties of Very Pure Codes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:157-170 [Journal]
  14. John Staples
    Computation on Graph-Like Expressions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:171-185 [Journal]
  15. Ivan M. Havel
    On Branching and Looping, Part I. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:187-220 [Journal]
  16. Dexter Kozen
    Complexity of Boolean Algebras. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:221-247 [Journal]
  17. Rina S. Cohen, Arie Y. Gold
    On the Complexity of omega-Type Turing Acceptors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:249-272 [Journal]
  18. Ivan M. Havel
    On Branching and Looping, Part II. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:273-295 [Journal]
  19. John Staples
    Optimal Evaluations of Graph-Like Expressions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:297-316 [Journal]
  20. K. N. King
    Iteration Theorems for Families of Strict Deterministic Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:317-333 [Journal]
  21. Michael Sipser
    Halting Space-Bounded Computations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:10, n:, pp:335-338 [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