The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1985, volume: 40, number:

  1. Juhani Karhumäki
    On Three-Element Codes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:3-11 [Journal]
  2. Antonio Restivo
    Rational Languages and the Burnside Problem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:13-30 [Journal]
  3. Anselm Blumer, J. Blumer, David Haussler, Andrzej Ehrenfeucht, M. T. Chen, Joel I. Seiferas
    The Smallest Automaton Recognizing the Subwords of a Text. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:31-55 [Journal]
  4. Uwe Schöning
    Robust Algorithms: A Different Approach to Oracles. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:57-66 [Journal]
  5. Robert Paige, Robert Endre Tarjan, Robert Bonic
    A Linear Time Solution to the Single Function Coarsest Partition Problem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:67-84 [Journal]
  6. G. Bauer
    n-Level Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:85-99 [Journal]
  7. Ronald V. Book, Friedrich Otto
    On the Verifiability of Two-Party Algebraic Protocols. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:101-130 [Journal]
  8. Walter Bucher, Andrzej Ehrenfeucht, David Haussler
    On Total Regulators Generated by Derivation Relations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:131-148 [Journal]
  9. IJsbrand Jan Aalbersberg, Grzegorz Rozenberg
    CTS Systems and Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:149-162 [Journal]
  10. Kathleen Ayers
    Deque Automata and a Subfamily of Context-Sensitive Languages which Contains all Semilinear Bounded Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:163-174 [Journal]
  11. Ming-Deh A. Huang, Karl J. Lieberherr
    Implications of Forbidden Structures for Extremal Algorithmic Problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:195-210 [Journal]
  12. Gianfranco Mascari, Marisa Venturini Zilli
    While-Programs with Nondeterministic Assignments and the Logic Alna. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:211-235 [Journal]
  13. José L. Balcázar, Ronald V. Book, Uwe Schöning
    On Bounded Query Machines. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:237-243 [Journal]
  14. Taiho Kanaoka, Shingo Tomita
    Homogeneous Decomposition of Stochastic Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:245-255 [Journal]
  15. S. Kamal Abdali, B. David Saunders
    Transitive Closure and Related Semiring Properties via Eliminants. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:257-274 [Journal]
  16. Françoise Fogelman-Soulié
    Parallel and Sequential Computation on Boolean Networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:275-300 [Journal]
  17. A. Ginzburg, Michael Yoeli
    Reducibility of Synchronization Structures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:301-314 [Journal]
  18. Friedrich J. Urbanek
    On Greibach Normal Form Construction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:315-317 [Journal]
  19. Michael Kaminski
    A Lower Bound for Polynomial Multiplication. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:319-322 [Journal]
  20. Mukkai S. Krishnamoorthy, Paliath Narendran
    On Recursive Path Ordering. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:323-328 [Journal]
  21. Georges Gonthier
    Algebraic Calculi of Processes and Net Expressions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:329-337 [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