The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Comput.
1994, volume: 114, number: 1

  1. Val Tannen, Jean H. Gallier
    Polymorphic Rewriting Conserves Algebraic Confluence [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:1, pp:1-29 [Journal]
  2. Corrado Böhm, Benedetto Intrigila
    The Ant-Lion Paradigm for Strong Normalization [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:1, pp:30-49 [Journal]
  3. Javier Esparza
    Reduction and Synthesis of Live and Bounded Free Choice Petri Nets [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:1, pp:50-87 [Journal]
  4. Ronald L. Rivest, Robert H. Sloan
    A Formal Model of Hierarchical Concept Learning [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:1, pp:88-114 [Journal]
  5. Jonathan Sorenson, Ian Parberry
    Two Fast Parallel Prime Number Sieves [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:1, pp:115-130 [Journal]
  6. Xavier Nicollin, Joseph Sifakis
    The Algebra of Timed Processes, ATP: Theory and Application [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:1, pp:131-178 [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