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]