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