Information and Computation, Volume 119

Volume 119, Number 1, 1995

Jennifer Seberry, Xian-Mo Zhang, Yuliang Zheng: Nonlinearity and Propagation Characteristics of Balanced Boolean Functions. 1-13
Wil Dekkers: Inhabitation of Types in the Simply Typed Lambda Calculus. 14-17
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Transfinite Reductions in Orthogonal Term Rewriting Systems. 18-38
Kenji Yamanishi: A Loss Bound Model for On-Line Stochastic Prediction Algorithms. 39-54
Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Variable Typed Logic of Effects. 55-90
Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan: A Logical Study of Distributed Transition Systems. 91-118
Jan A. Bergstra, Jan Heering: Homomorphism Preserving Algebraic Specifications Require Hidden Sorts. 119-123
Torben Hagerup: A Lower Bound for the Emulation of PRAM Memories on Processor Networks. 124-128
Erich Grädel, Gregory L. McColm: On the Power of Deterministic Transitive Closures. 129-135

Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa: Redundancy Elimination and Loop Checks for Logic Programs. 137-153
Katsutoshi Nakayama, Akira Maruoka: Loop Circuits and Their Relation to Razborov's Approximation Model. 154-159
Anuj Dawar, Steven Lindell, Scott Weinstein: Infinitary Logic and Inductive Definability over Finite Structures. 160-175
Roberto Di Cosmo: Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object. 176-201
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Intersection and Union Types: Syntax and Semantics. 202-230
Zhi-Zhong Chen, Seinosuke Toda: The Complexity of Selecting Maximal Solutions. 231-239
Yves Métivier, Gwénaël Richomme: New Results on the Star Problem in Trace Monoids. 240-251
Xavier Gouy, Ying Jiang: Universal Retractions on DI-Domains. 252-257
Amihood Amir, Martin Farach, Ramana M. Idury, Johannes A. La Poutré, Alejandro A. Schäffer: Improved Dynamic Dictionary Matching. 258-282
Gil Neiger: Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency. 283-293