Information Processing Letters, Volume 10

Volume 10, Number 1, 12 February 1980

• Michael J. C. Gordon: The Denotational Semantics of Sequential Machines. 1-3 BibTeX
• H. Olivie: On the Relationship Between SonTtrees and Symmetric Binary B-Trees. 4-8 BibTeX
• Victor J. Rayward-Smith, R. N. Rolph: Finding Linear and Circular Sequences of Minimal and Maximal Total Adjacency. 9-13 BibTeX
• Peter Honeyman, Richard E. Ladner, Mihalis Yannakakis: Testing the Universal Instance Assumption. 14-19 BibTeX
• Ashoke Deb: Conflict-Free Access of Arrays - A Counter Example. 20 BibTeX
• Miroslaw Truszczynski: Once More on Storage for Consecutive Retrieval. 21-24 BibTeX
• Leslie M. Goldschlager: A Space Efficient Algorithm for the Monotone Planar Circuit Value Problem. 25-27 BibTeX
• Errol L. Lloyd: List Scheduling Bounds for UET Systems With Resources. 28-31 BibTeX , Erratum: Information Processing Letters 11(1): 57 (1980)
• Carlo Zaniolo: Mixed Transitivity for Functional and Multivalued Dependencies in Database Relations. 32-34 BibTeX
• Thang Nguyen Bui: A Note on an Improved Bisection Algorithm. 35-36 BibTeX
• Daniel Dominic Sleator: A 2.5 Times Optimal Algorithm for Packing in Two Dimensions. 37-40 BibTeX
• Dilip V. Sarwate: A Note on Universal Classes of Hash Functions. 41-45 BibTeX

Volume 10, Number 2, 18 March 1980

• Bruce Anderson: Encoded pointers - An Interesting DataSstructure for Modern Sil's. 47-50 BibTeX
• Jan van Leeuwen, Derick Wood: Dynamization of Decomposable Searching Problems. 51-56 BibTeX , Erratum: Information Processing Letters 11(1): 57 (1980)
• Viktor K. Sabelfeld: The Logic-Termal Equivalence is Polynomial-Time Decidable. 57-62 BibTeX
• Solomon Passy: Structured Programs for Turing Machines. 63-67 BibTeX
• Thomas C. Wilson, Joseph Shortt: An O(log n) Algorithm for Computing General Order-k Fibonacci Numbers. 68-75 BibTeX
• Frank M. Liang: A Lower Bound for On-Line Bin Packing. 76-79 BibTeX
• Manuel Blum, Ashok K. Chandra, Mark N. Wegman: Equivalence of Free Boolean Graphs can be Decided Probabilistically in Polynomial Time. 80-82 BibTeX
• Paul M. B. Vitányi: Achievable High Scores of epsilon-Moves and Running Times in DPDA Computations. 83-86 BibTeX
• Nicola Santoro: Extending the Four Russians' Bound to General Matrix Multiplication. 87-88 BibTeX
• Hanan Samet, Leo Marcus: Purging in an Equality Data Base. 89-95 BibTeX
• Mordechai Ben-Ari: A Simplified Proof That Regular Resolution is Exponential. 96-98 BibTeX
• Alexandre Brandwajn, René Joly: A Scheme for Fault-Tolerant Virtual Memory. 99-103 BibTeX
• Frank G. Pagan: On the Generation of Compilers from Language Definitions. 104-107 BibTeX
• Mehdi Jazayeri: An Improvement in the Iterative Data Flow Analysis Algorithm. 108-110 BibTeX

Volume 10, Number 3, 18 April 1980

• R. K. Arora, S. P. Rana: Analysis of the Module Assignment Problem in Distributed Computing Systems with Limited Storage. 111-115 BibTeX
• Osamu Watanabe: Another Application of Recursion Introduction. 116-119 BibTeX
• Peter J. L. Wallis, Bernard W. Silverman: Efficient Implementation of the Ada Overloading Rules. 120-123 BibTeX
• C. Hemerik: Formal Derivation of a List Processing Program. 124-126 BibTeX
• David G. Kirkpatrick: A Note on Delaunay and Optimal Triangulations. 127-128 BibTeX
• Patrick Shen-Pei Wang: Some New Results on Isotonic Array Grammars. 129-131 BibTeX
• Peter van Emde Boas: On the Omega(n log n) Lower Bound for Convex Hull and Maximal Vector Determination. 132-136 BibTeX
• Wojciech Cellary, Daniel Mayer: A Simple Model of Query Scheduling in Distributed Data Base Systems. 137-147 BibTeX
• John A. Barnden: A Characterization of Systems Derived From Terminating Concurrent Histories. 148-152 BibTeX
• Ludwik Czaja: Parallel System Schemas and Their Relation to Automata. 153-158 BibTeX
• Joep L. W. Kessels: The Readers and Writers Problem Avoided. 159-162 BibTeX
• M. van der Nat: A Fast Sorting Algorithm, a Hybrid of Distributive and Merge Sorting. 163-167 BibTeX
• Selim G. Akl: Corrigendum on Convex Hull Algorithms. 168 BibTeX

Volume 10, Number 4/5, 5 July 1980

• Robert Melville, David Gries: Controlled Density Sorting. 169-172 BibTeX
• Alan A. Bertossi: On the Complexity of Scheduling Jobs on Dedicated Resources to Minimize Set-Up Costs. 173-177 BibTeX
• Aviezri S. Fraenkel, Yaacov Yesha: Complexity of Solving Algebraic Equations. 178-179 BibTeX
• Fabrizio Luccio, S. Mazzone: A Cryptosystem for Multiple Communication. 180-183 BibTeX
• Thomas Lengauer, Robert Endre Tarjan: The Space Complexity of Pebble Games on Trees. 184-188 BibTeX
• Arthur M. Farley: Levelling Terrain Trees: A Transshipment Problem. 189-192 BibTeX
• Manfred Broy, Martin Wirsing: Program Development: From Enumeration to Backtracking. 193-197 BibTeX
• F. Warren Burton, Gilbert N. Lewis: A Robust Variation of Interpolation Search. 198-201 BibTeX
• Carla D. Savage: Maximum Matchings and Trees. 202-205 BibTeX
• R. W. Doran, L. K. Thomas: Variants of the Software Solution to Mutual Exclusion. 206-208 BibTeX
• Mark H. Overmars, Jan van Leeuwen: Further Comments on Bykat's Convex Hull Algorithm. 209-212 BibTeX
• Henk Meijer, Selim G. Akl: The Design and Analysis of a New Hybrid Sorting Algorithm. 213-218 BibTeX
• Akira Nakamura, Katsushi Inoue: A Remark on Two-Dimensional Finite Automata. 219-222 BibTeX
• Andrzej Ehrenfeucht, Grzegorz Rozenberg: On the Emptiness of the Intersection of Two D0S Languages Problem. 223-225 BibTeX
• Kin-Man Chung, Fabrizio Luccio, C. K. Wong: A New Permutation Algorithm for Bubble Memories. 226-230 BibTeX
• Corrado Böhm, Antonio Machi, Giovanna Sontacchi: Complexity Bounds for Equivalence and Isomorphism of Latin Squares. 231-233 BibTeX
• Ludwik Czaja: Deadlock and Fairness in Parallel Schemas: A Set-Theoretic Characterization and Decision Problems. 234-239 BibTeX
• Kellogg S. Booth: Lexicographically Least Circular Substrings. 240-242 BibTeX
• Peter Buneman, Leon S. Levy: The Towers of Hanoi Problem. 243-244 BibTeX
• Katsushi Inoue, Itsuo Takanami: A Note on Decision Problems for Three-Way Two-Dimensional Finite Automata. 245-248 BibTeX