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
  

Last update Tue May 21 18:57:00 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page