|
Journals in DBLP
Commun. ACM 1979, volume: 22, number: 5
- Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
Social Processes and Proofs of Theorems and Programs. [Citation Graph (1, 0)][DBLP] Commun. ACM, 1979, v:22, n:5, pp:271-280 [Journal]
- Ernest J. H. Chang, Rosemary Roberts
An Improved Algorithm for Decentralized Extrema-Finding in Circular Configurations of Processes. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1979, v:22, n:5, pp:281-283 [Journal]
- Theodor D. Sterling
Consumer Difficulties With Computerized Transactions: An Empirical Investigation. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1979, v:22, n:5, pp:283-289 [Journal]
- John C. Reynolds
Reasoning About Arrays. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1979, v:22, n:5, pp:290-299 [Journal]
- Michael J. Manthey
A Model for and Discussion of Multi-Interpreter Systems. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1979, v:22, n:5, pp:299-309 [Journal]
|