The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
1997, volume: 139, number: 1

  1. Yonatan Aumann, Michael A. Bender, Lisa Zhang
    Efficient Execution of Nondeterministic Parallel Programs on Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:139, n:1, pp:1-16 [Journal]
  2. Christiane Frougny
    On the Sequentiality of the Successor Function. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:139, n:1, pp:17-38 [Journal]
  3. Giorgio Ghelli
    Termination of System F-bounded: A Complete Proof. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:139, n:1, pp:39-56 [Journal]
  4. Franco Barbanera, Stefano Berardi
    The Simply-Typed Theory of Beta-Conversion has no Maximum Extension. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:139, n:1, pp:57-61 [Journal]
  5. Stephen L. Bloom, Zoltán Ésik
    Axiomatizing Shuffle and Concatenation in Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:139, n:1, pp:62-91 [Journal]
  6. Hans L. Bodlaender, Jan van Leeuwen, Richard B. Tan, Dimitrios M. Thilikos
    On Interval Routing Schemes and Treewidth. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:139, n:1, pp:92-109 [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