External Links

    Journal: Inf. Comput.

    Volume 90, Issue 2

    139 -- 155Eric Bach. Toward A Theory of Pollard s Rho Method
    156 -- 177Ker-I Ko. Separating the Low and High Hierarchies by Oracles
    178 -- 193William F. McColl, Mike Paterson, B. H. Bowditch. Planar Acyclic Computation
    194 -- 216Peter Dybjer. Inverse Image Analysis Generalises Strictness Analysis
    217 -- 243Mila E. Majster-Cederbaum, F. Zetzsche. Towards a Foundation for Semantics in Complete Metric Spaces

    Volume 90, Issue 1

    1 -- 32Corrado Böhm, Enrico Tronci. About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus
    33 -- 49Nathan Linial, Yishay Mansour, Ronald L. Rivest. Results on Learnability and the Vapnik-Chervonenkis Dimension
    50 -- 66Phokion G. Kolaitis. The Expressive Power of Stratified Programs
    67 -- 85Dung T. Huynh. Effective Entropies and Data Compression
    86 -- 106Oscar H. Ibarra, Tao Jiang, Jik H. Chang, Bala Ravikumar. Some Classes of Languages in NC¹
    107 -- 137Zhaohui Luo. A Higher-Order Calculus and Theory Abstraction
    runs on