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
Volume 119, Number 2, 1995
- 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
Copyright © Sat May 16 23:59:58 2009
by Michael Ley (ley@uni-trier.de)
