Journals in DBLP

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

1. Jaroslav Nesetril
   Some Nonstandard Ramsey Like Applications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:34, n:, pp:3-15 [Journal]
   
2. Juris Hartmanis, Yaacov Yesha
   Computation Times of NP Sets of Different Densities. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:34, n:, pp:17-32 [Journal]
   
3. Glynn Winskel
   Synchronization Trees. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:34, n:, pp:33-82 [Journal]
   
4. Rocco De Nicola, Matthew Hennessy
   Testing Equivalences for Processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:34, n:, pp:83-133 [Journal]
   
5. J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer
   Linear Time and Branching Time Semantics for Recursion with Merge. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:34, n:, pp:135-156 [Journal]
   
6. Paul M. B. Vitányi
   On the Simulation of Many Storage Heads by One. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:34, n:, pp:157-168 [Journal]
   
7. Marie-Pierre Delest, Gérard Viennot
   Algebraic Languages and Polyominoes Enumeration. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:34, n:, pp:169-206 [Journal]
   
8. Arjen K. Lenstra
   Factoring Multivariate Integral Polynomials. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:34, n:, pp:207-213 [Journal]
   
9. Shimon Cohen, Daniel J. Lehmann, Amir Pnueli
   Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:34, n:, pp:215-225 [Journal]
   
10. Taisuke Sato, Hisao Tamaki
    Enumeration of Success Patterns in Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:227-240 [Journal]
    
11. Mireille Clerbout, Michel Latteux
    Partial Commutations and Faithful Rational Transductions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:241-254 [Journal]
    
12. Yair Itzhaik, Amiram Yehudai
    New Families of Non Real Time DPDA's and their Decidability Results. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:255-274 [Journal]
    
13. Tsutomu Kamimura, Adrian Tang
    Total Objects of Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:275-288 [Journal]
    
14. Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich
    Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:289-313 [Journal]
    
15. Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami
    Membership Problems for Data Dependencies in Relational Expressions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:315-335 [Journal]
    
16. François Bancilhon, Philippe Richard
    A Sound and Complete Axiomatization of Embedded Cross Dependencies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:343-350 [Journal]