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
Volume 119, Number 2, 1995
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team