The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1987, volume: 49, number:

  1. Masako Takahashi
    Brzozowski Hierarchy of omega-Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:1-12 [Journal]
  2. Craig C. Squier
    Units of Special Church-Rosser Monoids. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:13-22 [Journal]
  3. Rainer Parchmann, Jürgen Duske
    Grammars, Derivation Modes and Properties of Indexed and Type-0 Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:23-42 [Journal]
  4. Michio Oyamaguchi
    The Church-Rosser Property for Ground Term-Rewriting Systems is Decidable. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:43-79 [Journal]
  5. Leonidas J. Guibas, Jorge Stolfi, Kenneth L. Clarkson
    Solving Related Two-and Three-Dimensional Linear Programming Problems in Logarithmic Time. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:81-84 [Journal]
  6. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
    Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:87-112 [Journal]
  7. Michael G. Main, Walter Bucher, David Haussler
    Applications of an Infinite Square-Free CO-CFL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:113-119 [Journal]
  8. Matthew Hennessy
    An Algebraic Theory of Fair Synchronous Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:121-143 [Journal]
  9. Luc Bougé
    Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:145-169 [Journal]
  10. Zvi Galil, Gad M. Landau, Mordechai M. Yung
    Distributed Algorithms in Synchronous Broadcasting Networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:171-184 [Journal]
  11. Kim Guldstrand Larsen
    A Context Dependent Equivalence Between Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:184-215 [Journal]
  12. A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
    The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:217-237 [Journal]
  13. Richard Cole
    Partitioning Point Sets in Arbitrary Dimension. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:239-265 [Journal]
  14. Thomas G. Kurtz, Udi Manber
    A Probabilistic Distributed Algorithm for Set Intersection and its Analysis. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:267-282 [Journal]
  15. Philippe Flajolet
    Analytic Models and Ambiguity of Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:283-309 [Journal]
  16. Colin Stirling
    Modal Logics for Communicating Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:311-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