Information and Computation, Volume 104

Volume 104, Number 1, 1993

• John Mitchell: Preface. 1
• Rajeev Alur, Costas Courcoubetis, David L. Dill: Model-Checking in Dense Real-time. 2-34
• Rajeev Alur, Thomas A. Henzinger: Real-Time Logics: Complexity and Expressiveness. 35-77
• R. C. Sekar, I. V. Ramakrishnan: Programming in Equational Logic: Beyond Strong Sequentiality. 78-109
• Aart Middeldorp: Modular Properties of Conditional Term Rewriting Systems. 110-158

Volume 104, Number 2, 1993

• David Feldman, Russell Impagliazzo, Moni Naor, Noam Nisan, Steven Rudich, Adi Shamir: On Dice and Coins: Models of Computation for Random Generation. 159-174
• Amos Israeli, Marc Jalfon: Uniform Self-Stabilizing Ring Orientation. 175-196
• Greg N. Frederickson: An Optimal Algorithm for Selection in a Min-Heap. 197-214
• R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi: Semantics of Nondeterministic Asynchronous Broadcast Networks. 215-252
• David R. Luginbuhl, Michael C. Loui: Hierarchies and Space Measures for Pointer Machines. 253-270
• Ravi Kannan, H. Venkateswaran, V. Vinay, Andrew Chi-Chih Yao: A Circuit-Based Proof of Toda's Theorem. 271-276
• Pavol Duris, Zvi Galil: On the Power of Multiple Reads in a Chip. 277-287
• Judy Goldsmith, Deborah Joseph, Paul Young: Using Self-Reducibilities to Characterize Polynomial Time. 288-308