|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
|