Information and Computation, Volume 145

Volume 145, Number 1, August 25, 1998

Frank Drewes, Joost Engelfriet: Decidability of the Finiteness of Ranges of Tree Transductions. 1-50
Juha Honkala: On Number Systems with Finite Degree of Ambiguity. 51-63
Chrysafis Hartonas, Matthew Hennessy: Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. 64-106

Claudio Hermida, Bart Jacobs: Structural Induction and Coinduction in a Fibrational Setting. 107-152
Roberto Giacobazzi, Francesco Ranzato: Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. 153-190
Flavio Corradini: On Performance Congruences for Process Algebras. 191-230