The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
1996, volume: 126, number: 1

  1. Wan Fokkink, Rob J. van Glabbeek
    Ntyft/Ntyxt Rules Reduce to Ntree Rules. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:1-10 [Journal]
  2. Martin Hofmann, Benjamin C. Pierce
    Positive Subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:11-33 [Journal]
  3. Michele Boreale, Rocco De Nicola
    A Symbolic Semantics for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:34-52 [Journal]
  4. Hasan Md. Sayeed, Hosame Abu-Amara
    Efficient Perfectly Secure Message Transmission in Synchronous Networks. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:53-61 [Journal]
  5. Rajeev Alur, Gadi Taubenfeld
    Contention-Free Complexity of Shared Memory Algorithms. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:62-73 [Journal]
  6. Gordon D. Plotkin
    On a Question of H. Friedman. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:74-77 [Journal]
  7. Toshiya Itoh
    Simulating Fair Dice with Biased Coins. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:78-82 [Journal]
  8. Gérard Boudol, Cosimo Laneve
    The Discriminating Power of Multiplicities in the Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:83-102 [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