Information and Computation, Volume 147

Volume 147, Number 1, November 25, 1998

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

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