The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Process. Lett.
1995, volume: 53, number: 3

  1. Burghard von Karger, C. A. R. Hoare
    Sequential Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:123-130 [Journal]
  2. Chritiene Aarts, Roland Carl Backhouse, Eerke A. Boiten, Henk Doornbos, Netty van Gasteren, Rik van Geldrop, Paul F. Hoogendijk, Ed Voermans, Jaap van der Woude
    Fixed-Point Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:131-136 [Journal]
  3. The Eindhoven Tuesday Afternoon Club
    Constructing the Galois Adjoint. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:137-139 [Journal]
  4. Edsger W. Dijkstra
    Heuristics for a Calculational Proof. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:141-143 [Journal]
  5. David Gries, Fred B. Schneider
    Equational Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:145-152 [Journal]
  6. Jacob Kornerup
    Mapping a Functional Notation for Parallel Programs Onto Hypercubes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:153-158 [Journal]
  7. K. Rustan M. Leino
    Constructing a Program with Exceptions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:159-163 [Journal]
  8. Ralph-Johan Back, Joakim von Wright
    Games and Winning Strategies. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:165-172 [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