Information and Computation, Volume 104

Volume 104, Number 1, 1993

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

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 BibTeX
• Amos Israeli, Marc Jalfon: Uniform Self-Stabilizing Ring Orientation. 175-196 BibTeX
• Greg N. Frederickson: An Optimal Algorithm for Selection in a Min-Heap. 197-214 BibTeX
• R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi: Semantics of Nondeterministic Asynchronous Broadcast Networks. 215-252 BibTeX
• David R. Luginbuhl, Michael C. Loui: Hierarchies and Space Measures for Pointer Machines. 253-270 BibTeX
• Ravi Kannan, H. Venkateswaran, V. Vinay, Andrew Chi-Chih Yao: A Circuit-Based Proof of Toda's Theorem. 271-276 BibTeX
• Pavol Duris, Zvi Galil: On the Power of Multiple Reads in a Chip. 277-287 BibTeX
• Judy Goldsmith, Deborah Joseph, Paul Young: Using Self-Reducibilities to Characterize Polynomial Time. 288-308 BibTeX