Avra Cohn The Equivalence of Two Semantic Definitions: A Case Study in LCF. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:2, pp:267-285 [Journal]
Rüdiger Loos Computing Rational Zeros of Integral Polynomials by p-adic Expansion. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:2, pp:286-293 [Journal]
Barbara Simons Multiprocessor Scheduling of Unit-Time Jobs with Arbitrary Release Times and Deadlines. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:2, pp:294-299 [Journal]
Nimrod Megiddo Towards a Genuinely Polynomial Algorithm for Linear Programming. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:2, pp:347-353 [Journal]
Jan A. Bergstra, J. V. Tucker Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1983, v:12, n:2, pp:366-387 [Journal]