Matthew Hennessy The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1980, v:9, n:1, pp:67-84 [Journal]
Richard Statman Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1980, v:9, n:1, pp:104-110 [Journal]
Juris Hartmanis On the Succinctness of Different Representations of Languages. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1980, v:9, n:1, pp:114-120 [Journal]
Zvi Galil Finding the Vertex Connectivity of Graphs. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1980, v:9, n:1, pp:197-199 [Journal]
D. T. Lee, C. K. Wong Voronoi Diagrams in L_1 (L_infty) Metrics with 2-Dimensional Storage Applications. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1980, v:9, n:1, pp:200-211 [Journal]
László Babai On the Complexity of Canonical Labeling of Strongly Regular Graphs. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1980, v:9, n:1, pp:212-216 [Journal]