Journals in DBLP

Theor. Comput. Sci.
1994, volume: 123, number: 2

1. Dung T. Huynh, Lu Tian
   Deciding Bisimilarity of Normed Context-Free Processes is in Sigma^p_2. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:123, n:2, pp:183-197 [Journal]
   
2. Bruno Martin
   A Universal Cellular Automaton in Quasi-Linear Time and its S-m-n Form. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:123, n:2, pp:199-237 [Journal]
   
3. Francine Blanchet-Sadri
   Equations and Monoid Varieties of Dot-Depth One and Two. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:123, n:2, pp:239-258 [Journal]
   
4. Mireille Clerbout, D. Gonzalez
   Atomic Semicommutations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:123, n:2, pp:259-272 [Journal]
   
5. Jean-Camille Birget, Stuart W. Margolis, John C. Meakin
   The Word Problem for Inverse Monoids Presented by One Idempotent Relator. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:123, n:2, pp:273-289 [Journal]
   
6. Philippe Flajolet, Peter J. Grabner, Peter Kirschenhofer, Helmut Prodinger, Robert F. Tichy
   Mellin Transforms and Asymptotics: Digital Sums. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:123, n:2, pp:291-314 [Journal]
   
7. Kunimasa Aoki, Juichi Shinoda, Teruko Tsuda
   On Pi_2 Theories of hp-T Degrees of Low Sets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:123, n:2, pp:315-327 [Journal]
   
8. Shigeki Iwata, Takumi Kasai
   The Othello game on an n*n board is PSPACE-complete. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:123, n:2, pp:329-340 [Journal]
   
9. Daniel Mey
   Finite Games for a Predicate Logic Without Contractions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:123, n:2, pp:341-349 [Journal]
   
10. Grahame Bennett
    Double Dipping: the Case of the Missing Binomial Coefficient Identities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:123, n:2, pp:351-375 [Journal]
    
11. Dexter Kozen, Shmuel Zaks
    Optimal Bounds for the Change-Making Problem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:123, n:2, pp:377-388 [Journal]
    
12. Maria M. Klawe
    Shallow Grates. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:123, n:2, pp:389-395 [Journal]
    
13. Serge Burckel
    Functional Equations Associated with Congruential Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:123, n:2, pp:397-406 [Journal]
    
14. Edith Hemaspaandra, Lane A. Hemaspaandra
    Quasi-injective Reductions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:123, n:2, pp:407-413 [Journal]
    
15. Naomi Nishimura
    Restricted CRCW PRAM. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:123, n:2, pp:415-426 [Journal]
    
16. Burkhard Monien, Wojciech Rytter, Helmut Schäpers
    Corrigendum: Fast Recognition of Deterministic CFL's with a Smaller Number of Processors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:123, n:2, pp:427-428 [Journal]