The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1984, volume: 28, number:

  1. Wolfgang J. Paul
    On Heads Versus Tapes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:1-12 [Journal]
  2. Jan Maluszynski
    Towards a Programming Language Based on the Notion of Two-Level Grammar. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:13-43 [Journal]
  3. Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Parameter Passing in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:45-81 [Journal]
  4. Krzysztof R. Apt
    Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:83-109 [Journal]
  5. Rolf Wiehagen, Rusins Freivalds, Efim B. Kinber
    On the Power of Probabilistic Strategies in Inductive Inference. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:111-133 [Journal]
  6. Dario Bini
    On Commutativity and Approximation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:135-150 [Journal]
  7. Simona Ronchi Della Rocca, Betti Venneri
    Principal Type Schemes for an Extended Type Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:151-169 [Journal]
  8. César Fernández, P. S. Thiagarajan
    D-Continuous Causal Nets: A Model of Non-Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:171-196 [Journal]
  9. Andrzej Ehrenfeucht, Grzegorz Rozenberg, R. Verraedt
    On Inherently Ambiguous E0L Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:197-214 [Journal]
  10. Jan A. Bergstra, J. V. Tucker
    Hoare's Logic for Programming Languages with two Data Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:215-221 [Journal]
  11. Taiho Kanaoka, Shingo Tomita
    The Decomposition of Stochastic Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:223-233 [Journal]
  12. J. Roger Hindley
    Coppo-Dezani Types do not Correspond to Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:235-236 [Journal]
  13. Philip T. Cox, Tomasz Pietrzykowski
    A Complete, Nonredundant Algorithm for Reversed Skolemization. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:239-261 [Journal]
  14. David G. Kirkpatrick, Stefan Reisch
    Upper Bounds for Sorting Integers on Random Access Machines. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:263-276 [Journal]
  15. Walter Bucher, Hermann A. Maurer, Karel Culik II
    Context-Free Complexity of Finite Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:277-285 [Journal]
  16. Francesco Parisi-Presicce
    Iterative Factor Algebras and Induced Metrics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:287-298 [Journal]
  17. Alica Kelemenová
    Complexity of Normal Form Grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:299-314 [Journal]
  18. Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki
    Characterization of omega-Regular Languages by First-Order Formulas. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:315-327 [Journal]
  19. Dominique Perrin
    Completing Biprefix Codes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:329-336 [Journal]
  20. Norbert Blum
    A Boolean Function Requiring 3n Network Size. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:337-345 [Journal]
  21. John J. Grefenstette
    Corrigendum: Stability in L Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp: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