External Links

    Journal: Inf. Comput.

    Volume 147, Issue 2

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

    Volume 147, Issue 1

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