Volume 26, Number 1, April 1996
: A Universal Model for Non-Procedural Database Languages.
: Maximal Chains and Antichains in Strongly Noetherian Semiorders.
: On Natural Deduction in First-Ortder Fixpoint Logics.
: Undecidability of Language Equivalence for Generalized Regular Expressions.
Volume 26, Number 2, May 1996
: A Complete Axiomatization for Prefix Iteration in Branching Bisimulation.
: Recursive Models of General Inductive Types.
Steffen van Bakel
: Rank 2 Intersection Type Assignment in Term Rewriting Systems.
: McCarthy Algebras: A Model of McCarthy's Logical Calculus.
Volume 26, Number 3/4, June 1996
: A Lower Bound on the Growth of Functions Computed by Tree Transducers.
: Logic Based Programmed Structure Rewriting Systems.
: Towards Synchronous and Asynchronous Graph Transformations.