Information and Computation, Volume 90

Volume 90, Number 1, 1991

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

Volume 90, Number 2, 1991

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