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]