Information and Computation, Volume 103

Volume 103, Number 1, 1993

• Amir Pnueli, Lenore D. Zuck:
  Probabilistic Verification. 1-29
  
• Seymour Ginsburg, Dan A. Simovici, Xiaoyang Sean Wang:
  Content-Related Interval Queries on Object Histories. 30-67
  
• Richard Beigel, William I. Gasarch, John Gill, James C. Owings:
  Terse, Superterse, and Verbose Sets. 68-85
  
• Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
  A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. 86-113
  
• José Meseguer, Joseph A. Goguen:
  Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. 114-158
  

Volume 103, Number 2, 1993

• Ludwig Staiger:
  Kolgomorov Complexity and Hausdorff Dimension. 159-194
  
• Ilmir Kh. Musikaev, Michael A. Taitslin:
  Limitations of the Program Memory and the Expressive Power of Dynamic Logics. 195-203
  
• Luca Aceto, Matthew Hennessy:
  Towards Action-Refinement in Process Algebras. 204-269
  
• David Peleg:
  Distance-Dependent Distributed Directories. 270-298
  
• Ronald L. Rivest, Robert E. Schapire:
  Inference of Finite Automata Using Homing Sequences. 299-347
  

Last update Fri May 17 20:07:00 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page