Journal: Inf. Comput.

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