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

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