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
Volume 147, Number 2, December 15, 1998
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team