Journal: Inf. Comput.

Volume 104, Issue 2

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

Volume 104, Issue 1

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