Information and Computation, Volume 147

Volume 147, Number 1, November 25, 1998

Robert Nieuwenhuis: Decidability and Complexity Analysis by Basic Paramodulation. 1-21
Luca Cabibbo: The Expressive Power of Stratified Logic Programs with Value Invention. 22-56
Michael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. 57-88
Nader H. Bshouty, Sally A. Goldman, H. David Mathias: Noise-Tolerant Parallel Learning of Geometric Concepts. 89-110

Sebastian Maneth: The Generating Power of Total Deterministic Tree Transducers. 111-144
Clemens Lautemann, Thomas Schwentick, Iain A. Stewart: Positive Versions of Polynomial Time. 145-170
Maria Paola Bonacina, Jieh Hsiang: On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis. 171-208
Stephen Ponzio: The Combinatorics of Effective Resistances and Resistive Inverses. 209-223