The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Process. Lett.
1991, volume: 39, number: 1

  1. Robert Nieuwenhuis, Pilar Nivela
    Efficient Deduction in Equality Horn Logic by Horn-Completion. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:1-6 [Journal]
  2. Ronald V. Book
    On Random Oracle Separations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:7-10 [Journal]
  3. Bernadette Charron-Bost
    Concerning the Size of Logical Clocks in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:11-16 [Journal]
  4. Alberto Apostolico, Martin Farach, Costas S. Iliopoulos
    Optimal Superprimitivity Testing for Strings. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:17-20 [Journal]
  5. Jianer Chen, Jim Cox, Bud Mishra
    An NL Hierarchy. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:21-26 [Journal]
  6. Ronald A. Olsson, Daniel T. Huang
    Axiomatic Semantics for ``Escape'' Statements. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:27-33 [Journal]
  7. Roberto Tamassia, Ioannis G. Tollis, Jeffrey Scott Vitter
    Lower Bounds for Planar Orthogonal Drawings of Graphs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:35-40 [Journal]
  8. Elena Stöhr
    Broadcasting in the Butterfly Network. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:41-43 [Journal]
  9. A. Prasad Sistla
    Proving Correctness with Respect to Nondeterministic Safety Specifications. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:45-49 [Journal]
  10. Fabrizio Luccio, Linda Pagli
    An Efficient Algorithm for Some Tree Matching Problems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:51-57 [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