The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1990, volume: 75, number: 3

  1. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    A Partial Ordering Semantics for CCS. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:223-262 [Journal]
  2. Shmuel Katz, Doron Peled
    Interleaving Set Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:263-287 [Journal]
  3. Manfred Droste, Rüdiger Göbel
    Non-Deterministic Information Systems and their Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:289-309 [Journal]
  4. Uri Blass, Aviezri S. Fraenkel
    The Sprague-Grundy Function for Wythoff's Game. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:311-333 [Journal]
  5. Eric Allender, Christopher B. Wilson
    Downward Translations of Equality. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:335-346 [Journal]
  6. Jianzhong Du, Joseph Y.-T. Leung, Gilbert H. Young
    Minimizing Mean Flow Time with Release Time Constraint. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:347-355 [Journal]
  7. Thomas Lengauer, Klaus W. Wagner
    The Binary Network Flow Problem is Logspace Complete for P. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:357-363 [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