353 | -- | 374 | A. Michael Ballantyne, W. W. Bledsoe. Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques |
375 | -- | 386 | Guy Fayolle, Erol Gelenbe, Jacques Labetoulle. Stability and Optimal Control of the Packet Switching Broadcast Channel |
387 | -- | 396 | Harry B. Hunt III, Daniel J. Rosenkrantz. On Equivalence and Containment Problems for Formal Languages |
397 | -- | 417 | R. Attar, Aviezri S. Fraenkel. Local Feedback in Full-Text Retrieval Systems |
418 | -- | 427 | Abraham Bookstein, Donald H. Kraft. Operations Research Applied to Document Indexing and Retrieval Decisions |
428 | -- | 440 | Douglas Comer, Ravi Sethi. The Complexity of Trie Index Construction |
441 | -- | 454 | K. Hwang, S. Bing Yao. Optimal Batched Searching of Tree Structured Files in Multiprocessor Computer Systems |
455 | -- | 464 | Richard J. Lipton, Lawrence Snyder. A Linear Time Algorithm for Deciding Subject Security |
465 | -- | 472 | Benjamin W. Y. Lin, Ronald L. Rardin. Development of a Parametric Generating Procedure for Integer Programming Test Problems |
473 | -- | 483 | Lawrence T. Kou. On Live-Dead Analysis for Global Data Flow Problems |
484 | -- | 503 | John C. Reynolds. Semantics of the Domain of Flow Diagrams |
504 | -- | 512 | Ben Wegbreit. Complexity of Synthesizing Inductive Assertions |
513 | -- | 521 | Laurent Hyafil, H. T. Kung. The Complexity of Parallel Evaluation of Linear Recurrences |
522 | -- | 526 | Richard J. Lipton, Yechezkel Zalcstein. Word Problems Solvable in Logspace |
527 | -- | 0 | K. L. Krause, V. Y. Shen, Herbert D. Schwetman. Errata: Analysis of Several Task-Scheduling Algorithms for a Model of Multiprogramming Computer Systems |